perm filename V2SPEC.XGP[TEX,DEK]2 blob sn#381026 filedate 1978-09-18 generic text, type T, neo UTF8
/LMAR=50/TMAR=50/RMAR=4095/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=0000062*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈β	I␈↓ α[␈εαVolume␈α2␈αof␈αTHE␈αAR␈α⎇T␈αOF␈αCOMPUTER␈αPR␈α␈OGRAMMING
␈β	t␈↓ βC␈εα←special␈αmaterial␈αset␈αout␈αof␈αnormal␈αsequence←
␈β
∨␈↓ β%␈ε⊗⎇␈εα␈α1978␈αAddison↑Wesley␈αPublishing␈αCompan␈α␈y,␈αInc.
␈β⊃L␈↓ ε2␈ε∧0
␈β∪(

␈β↓Y␈↓ ↓H␈εα3.2.1.1␈ε∞␈↓ λλCH␈α␈OICE␈α	OF␈α	MODUL␈α␈U␈α␈S␈↓ λ␈εα13
␈βα(␈↓ ¬{␈ε≥Ta␈α␈b␈α↓le␈α
1
␈βαS␈↓ ∧→␈εβPRIME␈αF␈α{ACTO␈α␈RI␈α↓ZA␈α⎇TIONS␈αOF␈↓ λα␈ε	w␈↓ λ"␈ε↔ε␈εβ␈αλ1
␈ββ␈↓ ↓L␈∧β↓Lα	\
␈ββ∀␈↓ ↓L␈∧β∀↓Lα	\
␈ββ⊗␈↓ εA␈∧β⊗εA;α␈↓ πq␈∧β⊗πq;α
␈ββ∨␈↓ ¬W␈εe␈↓ λ"␈εe
␈ββ#␈↓ ¬F␈εβ2␈↓ ¬i␈ε↔␈␈εβ␈αλ1␈↓ π∪␈ε	e␈↓ λ⊃␈εβ2␈↓ λ4␈εβ+␈απ1
␈ββP␈↓ ↓L␈∧βP↓Lα	\
␈ββQ␈↓ εA␈∧βQεAλα␈↓ πq␈∧βQπqλα
␈ββX␈↓ εA␈∧βXεA$α␈↓ πq␈∧βXπq$α
␈ββZ␈↓ λ ␈εε2
␈ββ←␈↓ ¬~␈ε∧7␈ε_␈απ↓␈ε∧␈απ31␈ε_␈απ↓␈ε∧␈αε1␈α↓51␈↓ π
␈ε∧1␈α↓5␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ331
␈ββ|␈↓ εA␈∧β|εA$α␈↓ πq␈∧β|πq$α
␈β∧β␈↓ ∧u␈ε∧3␈ε_␈απ↓␈ε∧␈αε5␈ε_␈απ↓␈ε∧␈απ17␈ε_␈απ↓␈ε∧␈αε2␈α↓57␈↓ π
␈ε∧1␈α↓6␈↓ λ⊃␈ε∧65␈α↓537
␈β∧ ␈↓ εA␈∧∧ εA$α␈↓ πq␈∧∧ πq$α
␈β∧'␈↓ ¬F␈ε∧1␈α↓310␈α↓71␈↓ π
␈ε∧1␈α↓7␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε4␈α↓369␈α↓1
␈β∧D␈↓ εA␈∧∧DεA$α␈↓ πq␈∧∧Dπq$α
␈β∧F␈↓ ¬π␈εε3
␈β∧K␈↓ ∧x␈ε∧3␈↓ ¬~␈ε_↓␈ε∧␈απ7␈ε_␈απ↓␈ε∧␈αε19␈ε_␈απ↓␈ε∧␈απ73␈↓ π
␈ε∧1␈α↓8␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε1␈α↓3␈ε_␈απ↓␈ε∧␈αε37␈ε_␈απ↓␈ε∧␈απ109
␈β∧h␈↓ εA␈∧∧hεA$α␈↓ πq␈∧∧hπq$α
␈β∧o␈↓ ¬F␈ε∧5␈α↓242␈α↓87␈↓ π
␈ε∧1␈α↓9␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε1␈α↓747␈α↓63
␈β¬␈↓ εA␈∧¬εA$α␈↓ πq␈∧¬πq$α
␈β¬∞␈↓ ∧x␈εε2
␈β¬∪␈↓ ∧C␈ε∧3␈ε_␈απ↓␈↓ ∧h␈ε∧5␈↓ ¬␈ε_↓␈ε∧␈αε1␈α↓1␈ε_␈απ↓␈ε∧␈αε31␈ε_␈απ↓␈ε∧␈απ41␈↓ π
␈ε∧2␈α↓0␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ616␈α↓81
␈β¬0␈↓ εA␈∧¬0εA$α␈↓ πq␈∧¬0πq$α
␈β¬2␈↓ ¬∞␈εε2␈↓ λ ␈εε2
␈β¬7␈↓ ∧}␈ε∧7␈↓ ¬!␈ε_↓␈ε∧␈αε1␈α↓27␈ε_␈απ↓␈ε∧␈αε3␈α↓37␈↓ π
␈ε∧2␈α↓1␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε43␈ε_␈απ↓␈ε∧␈απ541␈α↓9
␈β¬T␈↓ εA␈∧¬TεA$α␈↓ πq␈∧¬Tπq$α
␈β¬[␈↓ ∧f␈ε∧3␈ε_␈απ↓␈ε∧␈αε23␈ε_␈απ↓␈ε∧␈απ89␈ε_␈απ↓␈ε∧␈αε6␈α↓83␈↓ π
␈ε∧2␈α↓2␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε3␈α↓97␈ε_␈απ↓␈ε∧␈αε2␈α↓113
␈β¬x␈↓ εA␈∧¬xεA$α␈↓ πq␈∧¬xπq$α
␈β¬␈␈↓ ¬∩␈ε∧47␈ε_␈απ↓␈ε∧␈αε1␈α↓784␈α↓81␈↓ π
␈ε∧2␈α↓3␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε2␈α↓796␈α↓203
␈βε≤␈↓ εA␈∧ε≤εA$α␈↓ πq␈∧ε≤πq$α
␈βε≡␈↓ ∧≥␈εε2
␈βε#␈↓ ∧∞␈ε∧3␈↓ ∧1␈ε_↓␈ε∧␈αε5␈ε_␈απ↓␈ε∧␈απ7␈ε_␈απ↓␈ε∧␈αε13␈ε_␈απ↓␈ε∧␈απ17␈ε_␈απ↓␈ε∧␈αε2␈α↓41␈↓ π
␈ε∧2␈α↓4␈↓ λ⊃␈ε∧97␈ε_␈απ↓␈ε∧␈απ257␈ε_␈απ↓␈ε∧␈απ673
␈βε@␈↓ εA␈∧ε@εA$α␈↓ πq␈∧ε@πq$α
␈βεG␈↓ ∧l␈ε∧3␈α↓1␈ε_␈απ↓␈ε∧␈αε60␈α↓1␈ε_␈απ↓␈ε∧␈αε18␈α↓01␈↓ π
␈ε∧2␈α↓5␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε1␈α↓1␈ε_␈απ↓␈ε∧␈αε25␈α↓1␈ε_␈απ↓␈ε∧␈αε40␈α↓51
␈βεd␈↓ εA␈∧εdεA$α␈↓ πq␈∧εdπq$α
␈βεk␈↓ ∧l␈ε∧3␈ε_␈απ↓␈ε∧␈απ273␈α↓1␈ε_␈απ↓␈ε∧␈αε81␈α↓91␈↓ π
␈ε∧2␈α↓6␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε5␈α↓3␈ε_␈απ↓␈ε∧␈αε15␈α↓7␈ε_␈απ↓␈ε∧␈αε16␈α↓13
␈βπλ␈↓ εA␈∧πλεA$α␈↓ πq␈∧πλπq$α
␈βπ
␈↓ λ ␈εε4
␈βπ∂␈↓ ∧l␈ε∧7␈ε_␈απ↓␈ε∧␈απ73␈ε_␈απ↓␈ε∧␈αε2␈α↓626␈α↓57␈↓ π
␈ε∧2␈α↓7␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε19␈ε_␈απ↓␈ε∧␈απ872␈α↓11
␈βπ,␈↓ εA␈∧π,εA$α␈↓ πq␈∧π,πq$α
␈βπ3␈↓ β|␈ε∧3␈ε_␈απ↓␈ε∧␈απ5␈ε_␈απ↓␈ε∧␈αε29␈ε_␈απ↓␈ε∧␈απ43␈ε_␈απ↓␈ε∧␈αε1␈α↓13␈ε_␈απ↓␈ε∧␈αε1␈α↓27␈↓ π
␈ε∧2␈α↓8␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ157␈α↓9032␈α↓1
␈βπP␈↓ εA␈∧πPεA$α␈↓ πq␈∧πPπq$α
␈βπW␈↓ ∧N␈ε∧233␈ε_␈απ↓␈ε∧␈απ110␈α↓3␈ε_␈απ↓␈ε∧␈αε20␈α↓89␈↓ π
␈ε∧2␈α↓9␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε5␈α↓9␈ε_␈απ↓␈ε∧␈αε30␈α↓331␈α↓69
␈βπt␈↓ εA␈∧πtεA$α␈↓ πq␈∧πtπq$α
␈βπv␈↓ β␈␈εε2␈↓ λ ␈εε2
␈βπ{␈↓ βp␈ε∧3␈↓ ∧∩␈ε_↓␈ε∧␈απ7␈ε_␈απ↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ31␈ε_␈απ↓␈ε∧␈αε1␈α↓51␈ε_␈απ↓␈ε∧␈αε3␈α↓31␈↓ π
␈ε∧3␈α↓0␈↓ λ⊃␈ε∧5␈↓ λ4␈ε_↓␈ε∧␈αε13␈ε_␈απ↓␈ε∧␈απ41␈ε_␈απ↓␈ε∧␈αε6␈α↓1␈ε_␈απ↓␈ε∧␈αε13␈α↓21
␈βλ_␈↓ εA␈∧λ_εA$α␈↓ πq␈∧λ_πq$α
␈βλ∨␈↓ ¬	␈ε∧2␈α↓1474␈α↓836␈α↓47␈↓ π
␈ε∧3␈α↓1␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε7␈α↓158␈α↓2788␈α↓3
␈βλ<␈↓ εA␈∧λ<εA$α␈↓ πq␈∧λ<πq$α
␈βλC␈↓ ∧∩␈ε∧3␈ε_␈απ↓␈ε∧␈απ5␈ε_␈απ↓␈ε∧␈αε17␈ε_␈απ↓␈ε∧␈απ257␈ε_␈απ↓␈ε∧␈απ655␈α↓37␈↓ π
␈ε∧3␈α↓2␈↓ λ⊃␈ε∧64␈α↓1␈ε_␈απ↓␈ε∧␈αε67␈α↓0041␈α↓7
␈βλ`␈↓ εA␈∧λ`εA$α␈↓ πq␈∧λ`πq$α
␈βλb␈↓ λ ␈εε2
␈βλg␈↓ ∧8␈ε∧7␈ε_␈απ↓␈ε∧␈αε23␈ε_␈απ↓␈ε∧␈απ89␈ε_␈απ↓␈ε∧␈αε5␈α↓994␈α↓79␈↓ π
␈ε∧3␈α↓3␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε67␈ε_␈απ↓␈ε∧␈απ683␈ε_␈απ↓␈ε∧␈απ208␈α↓57
␈β	∧␈↓ εA␈∧	∧εA$α␈↓ πq␈∧	∧πq$α
␈β	␈↓ ∧>␈ε∧3␈ε_␈αλ↓␈ε∧␈αε436␈α↓91␈ε_␈απ↓␈ε∧␈αε1␈α↓310␈α↓71␈↓ π
␈ε∧3␈α↓4␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε1␈α↓37␈ε_␈απ↓␈ε∧␈αε9␈α↓53␈ε_␈απ↓␈ε∧␈αε2␈α↓631␈α↓7
␈β	(␈↓ εA␈∧	(εA$α␈↓ πq␈∧	(πq$α
␈β	/␈↓ ∧→␈ε∧31␈ε_␈απ↓␈ε∧␈απ71␈ε_␈απ↓␈ε∧␈αε1␈α↓27␈ε_␈απ↓␈ε∧␈αε1␈α↓229␈α↓21␈↓ π
␈ε∧3␈α↓5␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε1␈α↓1␈ε_␈απ↓␈ε∧␈αε43␈ε_␈απ↓␈ε∧␈απ281␈ε_␈απ↓␈ε∧␈απ861␈α↓71
␈β	L␈↓ εA␈∧	LεA$α␈↓ πq␈∧	Lπq$α
␈β	N␈↓ β4␈εε2
␈β	S␈↓ β%␈ε∧3␈↓ βG␈ε_↓␈ε∧␈απ5␈ε_␈απ↓␈ε∧␈αε7␈ε_␈απ↓␈ε∧␈απ13␈ε_␈απ↓␈ε∧␈αε1␈α↓9␈ε_␈απ↓␈ε∧␈αε37␈ε_␈απ↓␈ε∧␈απ73␈ε_␈απ↓␈ε∧␈αε1␈α↓09␈↓ π
␈ε∧3␈α↓6␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ241␈ε_␈απ↓␈ε∧␈απ433␈ε_␈απ↓␈ε∧␈απ387␈α↓37
␈β	p␈↓ εA␈∧	pεA$α␈↓ πq␈∧	pπq$α
␈β	w␈↓ ∧U␈ε∧223␈ε_␈απ↓␈ε∧␈απ6163␈α↓181␈α↓77␈↓ π
␈ε∧3␈α↓7␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε1␈α↓777␈ε_␈απ↓␈ε∧␈απ257␈α↓8108␈α↓3
␈β
∀␈↓ εA␈∧
∀εA$α␈↓ πq␈∧
∀πq$α
␈β
≠␈↓ ∧/␈ε∧3␈ε_␈απ↓␈ε∧␈απ1747␈α↓63␈ε_␈απ↓␈ε∧␈αε5␈α↓242␈α↓87␈↓ π
␈ε∧3␈α↓8␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε2␈α↓29␈ε_␈απ↓␈ε∧␈αε4␈α↓57␈ε_␈απ↓␈ε∧␈αε5␈α↓253␈α↓13
␈β
8␈↓ εA␈∧
8εA$α␈↓ πq␈∧
8πq$α
␈β
:␈↓ λ ␈εε2
␈β
?␈↓ ∧→␈ε∧7␈ε_␈απ↓␈ε∧␈αε7␈α↓9␈ε_␈απ↓␈ε∧␈αε81␈α↓91␈ε_␈απ↓␈ε∧␈αε1␈α↓213␈α↓69␈↓ π
␈ε∧3␈α↓9␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε27␈α↓31␈ε_␈απ↓␈ε∧␈αε2␈α↓2366␈α↓891
␈β
\␈↓ εA␈∧
\εA$α␈↓ πq␈∧
\πq$α
␈β
↑␈↓ β`␈εε2
␈β
c␈↓ β,␈ε∧3␈ε_␈απ↓␈↓ βQ␈ε∧5␈↓ βt␈ε_↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ17␈ε_␈απ↓␈ε∧␈αε3␈α↓1␈ε_␈απ↓␈ε∧␈αε41␈ε_␈απ↓␈ε∧␈απ616␈α↓81␈↓ π
␈ε∧4␈α↓0␈↓ λ⊃␈ε∧25␈α↓7␈ε_␈απ↓␈ε∧␈αε42␈α↓7825␈α↓536␈α↓1
␈β␈↓ εA␈∧εA$α␈↓ πq␈∧πq$α
␈βπ␈↓ ∧6␈ε∧13␈α↓367␈ε_␈απ↓␈ε∧␈απ1645␈α↓113␈α↓53␈↓ π
␈ε∧4␈α↓1␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε8␈α↓3␈ε_␈απ↓␈ε∧␈αε88␈α↓314␈α↓1869␈α↓7
␈β$␈↓ εA␈∧$εA$α␈↓ πq␈∧$πq$α
␈β&␈↓ βT␈εε2␈↓ ∧ε␈εε2
␈β+␈↓ βD␈ε∧3␈↓ βg␈ε_↓␈↓ βv␈ε∧7␈↓ ∧→␈ε_↓␈ε∧␈αε4␈α↓3␈ε_␈απ↓␈ε∧␈αε12␈α↓7␈ε_␈απ↓␈ε∧␈αε33␈α↓7␈ε_␈απ↓␈ε∧␈αε54␈α↓19␈↓ π
␈ε∧4␈α↓2␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε1␈α↓3␈ε_␈απ↓␈ε∧␈αε29␈ε_␈απ↓␈ε∧␈απ113␈ε_␈απ↓␈ε∧␈απ142␈α↓9␈ε_␈απ↓␈ε∧␈αε14␈α↓449
␈βH␈↓ εA␈∧HεA$α␈↓ πq␈∧Hπq$α
␈βO␈↓ ∧ ␈ε∧431␈ε_␈αλ↓␈ε∧␈αε971␈α↓9␈ε_␈απ↓␈ε∧␈αε20␈α↓998␈α↓63␈↓ π
␈ε∧4␈α↓3␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε2␈α↓932␈α↓0310␈α↓074␈α↓03
␈βl␈↓ εA␈∧lεA$α␈↓ πq␈∧lπq$α
␈βs␈↓ β)␈ε∧3␈ε_␈απ↓␈ε∧␈αε5␈ε_␈απ↓␈ε∧␈απ23␈ε_␈απ↓␈ε∧␈αε8␈α↓9␈ε_␈απ↓␈ε∧␈αε39␈α↓7␈ε_␈απ↓␈ε∧␈αε68␈α↓3␈ε_␈απ↓␈ε∧␈αε21␈α↓13␈↓ π
␈ε∧4␈α↓4␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ353␈ε_␈απ↓␈ε∧␈απ293␈α↓1542␈α↓417
␈β⊂␈↓ εA␈∧⊂εA$α␈↓ πq␈∧⊂πq$α
␈β∩␈↓ λ ␈εε3
␈β↔␈↓ β?␈ε∧7␈ε_␈απ↓␈ε∧␈αε3␈α↓1␈ε_␈απ↓␈ε∧␈αε73␈ε_␈απ↓␈ε∧␈απ151␈ε_␈απ↓␈ε∧␈απ631␈ε_␈απ↓␈ε∧␈απ233␈α↓11␈↓ π
␈ε∧4␈α↓5␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ19␈ε_␈απ↓␈ε∧␈αε3␈α↓31␈ε_␈απ↓␈ε∧␈αε1␈α↓883␈α↓7001
␈β4␈↓ εA␈∧4εA$α␈↓ πq␈∧4πq$α
␈β;␈↓ βk␈ε∧3␈ε_␈απ↓␈ε∧␈απ47␈ε_␈απ↓␈ε∧␈αε1␈α↓7848␈α↓1␈ε_␈απ↓␈ε∧␈αε27␈α↓962␈α↓03␈↓ π
␈ε∧4␈α↓6␈↓ λ⊃␈ε∧5␈ε_␈απ↓␈ε∧␈αε2␈α↓77␈ε_␈απ↓␈ε∧␈αε1␈α↓013␈ε_␈απ↓␈ε∧␈απ165␈α↓7␈ε_␈απ↓␈ε∧␈αε30␈α↓269
␈βX␈↓ εA␈∧XεA$α␈↓ πq␈∧Xπq$α
␈β←␈↓ ∧↓␈ε∧2␈α↓351␈ε_␈απ↓␈ε∧␈απ4513␈ε_␈αλ↓␈ε∧␈αε132␈α↓645␈α↓29␈↓ π
␈ε∧4␈α↓7␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε2␈α↓83␈ε_␈απ↓␈ε∧␈αε1␈α↓657␈α↓6853␈α↓752␈α↓1
␈β|␈↓ εA␈∧|εA$α␈↓ πq␈∧|πq$α
␈β}␈↓ αa␈εε2
␈β
β␈↓ αQ␈ε∧3␈↓ αt␈ε_↓␈ε∧␈αε5␈ε_␈αλ↓␈ε∧␈αε7␈ε_␈απ↓␈ε∧␈αε1␈α↓3␈ε_␈απ↓␈ε∧␈αε17␈ε_␈απ↓␈ε∧␈απ97␈ε_␈απ↓␈ε∧␈αε2␈α↓41␈ε_␈απ↓␈ε∧␈αε2␈α↓57␈ε_␈απ↓␈ε∧␈αε6␈α↓73␈↓ π
␈ε∧4␈α↓8␈↓ λ⊃␈ε∧19␈α↓3␈ε_␈απ↓␈ε∧␈αε65␈α↓537␈ε_␈απ↓␈ε∧␈απ2225␈α↓337␈α↓7
␈β
 ␈↓ εA␈∧
 εA$α␈↓ πq␈∧
 πq$α
␈β
'␈↓ βi␈ε∧1␈α↓799␈α↓51␈ε_␈απ↓␈ε∧␈αε3␈α↓203␈α↓4317␈α↓803␈α↓37␈↓ π
␈ε∧5␈α↓9␈↓ λ⊃␈ε∧3␈ε_␈απ↓␈ε∧␈αε2␈α↓833␈ε_␈απ↓␈ε∧␈απ371␈α↓71␈ε_␈απ↓␈ε∧␈αε1␈α↓8247␈α↓260␈α↓41
␈β
D␈↓ εA␈∧
DεA$α␈↓ πq␈∧
Dπq$α
␈β
F␈↓ ↓[␈εε2␈↓ α
␈εε2
␈β
K␈↓ ↓L␈ε∧3␈↓ ↓o␈ε_↓␈↓ ↓}␈ε∧5␈↓ α!␈ε_↓␈ε∧␈αε7␈ε_␈απ↓␈ε∧␈απ11␈ε_␈απ↓␈ε∧␈αε1␈α↓3␈ε_␈απ↓␈ε∧␈αε31␈ε_␈απ↓␈ε∧␈απ41␈ε_␈απ↓␈ε∧␈αε6␈α↓1␈ε_␈απ↓␈ε∧␈αε15␈α↓1␈ε_␈απ↓␈ε∧␈αε33␈α↓1␈ε_␈απ↓␈ε∧␈αε13␈α↓21␈↓ π
␈ε∧6␈α↓0␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ241␈ε_␈απ↓␈ε∧␈απ616␈α↓81␈ε_␈απ↓␈ε∧␈αε4␈α↓5622␈α↓845␈α↓61
␈β
h␈↓ εA␈∧
hεA$α␈↓ πq␈∧
hπq$α
␈β
j␈↓ β∧␈εε2␈↓ λ ␈εε3
␈β
o␈↓ αu␈ε∧7␈↓ β_␈ε_↓␈ε∧␈αε73␈ε_␈αλ↓␈ε∧␈αε127␈ε_␈αλ↓␈ε∧␈αε337␈ε_␈αλ↓␈ε∧␈αε927␈α↓37␈ε_␈απ↓␈ε∧␈αε6␈α↓496␈α↓57␈↓ π
␈ε∧6␈α↓3␈↓ λ⊃␈ε∧3␈↓ λ4␈ε_↓␈ε∧␈αε19␈ε_␈απ↓␈ε∧␈απ43␈ε_␈απ↓␈ε∧␈αε5␈α↓419␈ε_␈απ↓␈ε∧␈απ771␈α↓5867␈α↓392␈α↓9
␈β∞␈↓ εA␈∧∞εA$α␈↓ πq␈∧∞πq$α
␈β∞∪␈↓ αM␈ε∧3␈ε_␈απ↓␈ε∧␈αε5␈ε_␈αλ↓␈ε∧␈αε17␈ε_␈απ↓␈ε∧␈απ257␈ε_␈απ↓␈ε∧␈απ641␈ε_␈απ↓␈ε∧␈απ6553␈α↓7␈ε_␈απ↓␈ε∧␈αε67␈α↓004␈α↓17␈↓ π
␈ε∧6␈α↓4␈↓ λ⊃␈ε∧27␈α↓4177␈ε_␈αλ↓␈ε∧␈αε672␈α↓804␈α↓213␈α↓1072␈α↓1
␈β∞1␈↓ εA␈∧∞1εAλα␈↓ πq␈∧∞1πqλα
␈β∞8␈↓ ↓L␈∧∞8↓Lα	\
␈β∞@␈↓ ↓L␈∧∞@↓Lα	\
␈β∞C␈↓ εA␈∧∞CεA;α␈↓ πq␈∧∞Cπq;α
␈β∞K␈↓ ¬W␈εe␈↓ λ2␈εe
␈β∞P␈↓ ¬5␈εβ1␈↓ ¬F␈εβ0␈↓ ¬i␈ε↔␈␈εβ␈αλ1␈↓ π∪␈ε	e␈↓ λ⊃␈εβ1␈↓ λ"␈εβ0␈↓ λD␈εβ+␈αλ1
␈β∞|␈↓ ↓L␈∧∞|↓Lα	\
␈β∞}␈↓ εA␈∧∞}εAλα␈↓ πq␈∧∞}πqλα
␈β∂¬␈↓ εA␈∧∂¬εA$α␈↓ πq␈∧∂¬πq$α
␈β∂ε␈↓ ∧R␈εε3
␈β∂␈↓ ∧C␈ε∧3␈↓ ∧f␈ε_↓␈ε∧␈αε7␈ε_␈απ↓␈ε∧␈αε1␈α↓1␈ε_␈απ↓␈ε∧␈αε13␈ε_␈απ↓␈ε∧␈απ37␈↓ π~␈ε∧6␈↓ λ⊃␈ε∧10␈α↓1␈ε_␈απ↓␈ε∧␈αε99␈α↓01
␈β∂)␈↓ εA␈∧∂)εA$α␈↓ πq␈∧∂)πq$α
␈β∂*␈↓ ∧}␈εε2
␈β∂0␈↓ ∧o␈ε∧3␈↓ ¬∩␈ε_↓␈ε∧␈αε23␈α↓9␈ε_␈απ↓␈ε∧␈αε46␈α↓49␈↓ π~␈ε∧7␈↓ λ⊃␈ε∧11␈ε_␈απ↓␈ε∧␈απ909␈α↓091
␈β∂M␈↓ εA␈∧∂MεA$α␈↓ πq␈∧∂Mπq$α
␈β∂N␈↓ ∧$␈εε2
␈β∂T␈↓ ∧∃␈ε∧3␈↓ ∧8␈ε_↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ73␈ε_␈απ↓␈ε∧␈αε1␈α↓01␈ε_␈απ↓␈ε∧␈αε1␈α↓37␈↓ π~␈ε∧8␈↓ λ⊃␈ε∧17␈ε_␈απ↓␈ε∧␈απ588␈α↓2353
␈β∂q␈↓ εA␈∧∂qεA$α␈↓ πq␈∧∂qπq$α
␈β∂r␈↓ ∧o␈εε4
␈β∂x␈↓ ∧`␈ε∧3␈↓ ¬α␈ε_↓␈ε∧␈απ37␈ε_␈απ↓␈ε∧␈αε3␈α↓336␈α↓67␈↓ π~␈ε∧9␈↓ λ⊃␈ε∧7␈ε_␈απ↓␈ε∧␈αε1␈α↓1␈ε_␈απ↓␈ε∧␈αε13␈ε_␈απ↓␈ε∧␈απ19␈ε_␈απ↓␈ε∧␈αε5␈α↓257␈α↓9
␈β⊂∃␈↓ εA␈∧⊂∃εA$α␈↓ πq␈∧⊂∃πq$α
␈β⊂⊗␈↓ ∧∃␈εε2
␈β⊂≤␈↓ ∧ε␈ε∧3␈↓ ∧(␈ε_↓␈ε∧␈απ11␈ε_␈απ↓␈ε∧␈αε4␈α↓1␈ε_␈απ↓␈ε∧␈αε27␈α↓1␈ε_␈απ↓␈ε∧␈αε90␈α↓91␈↓ π
␈ε∧1␈α↓0␈↓ λ⊃␈ε∧10␈α↓1␈ε_␈απ↓␈ε∧␈αε35␈α↓41␈ε_␈απ↓␈ε∧␈αε2␈α↓7961
␈β⊂9␈↓ εA␈∧⊂9εA$α␈↓ πq␈∧⊂9πq$α
␈β⊂:␈↓ ∧A␈εε2␈↓ λ0␈εε2
␈β⊂@␈↓ ∧2␈ε∧3␈↓ ∧U␈ε_↓␈ε∧␈αε216␈α↓49␈ε_␈απ↓␈ε∧␈αε5␈α↓132␈α↓39␈↓ π
␈ε∧1␈α↓1␈↓ λ⊃␈ε∧1␈↓ λ ␈ε∧1␈↓ λC␈ε_↓␈ε∧␈αε2␈α↓3␈ε_␈απ↓␈ε∧␈αε40␈α↓93␈ε_␈απ↓␈ε∧␈αε8␈α↓779
␈β⊂]␈↓ εA␈∧⊂]εA$α␈↓ πq␈∧⊂]πq$α
␈β⊂↑␈↓ β;␈εε3
␈β⊂d␈↓ β,␈ε∧3␈↓ βN␈ε_↓␈ε∧␈απ7␈ε_␈απ↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ13␈ε_␈απ↓␈ε∧␈αε3␈α↓7␈ε_␈απ↓␈ε∧␈αε10␈α↓1␈ε_␈απ↓␈ε∧␈αε99␈α↓01␈↓ π
␈ε∧1␈α↓2␈↓ λ⊃␈ε∧73␈ε_␈απ↓␈ε∧␈απ137␈ε_␈απ↓␈ε∧␈απ999␈α↓9000␈α↓1
␈β⊃↓␈↓ εA␈∧⊃↓εA$α␈↓ πq␈∧⊃↓πq$α
␈β⊃α␈↓ αn␈εε2
␈β⊃λ␈↓ α←␈ε∧3␈↓ βα␈ε_↓␈ε∧␈αε11␈ε_␈απ↓␈ε∧␈απ17␈ε_␈απ↓␈ε∧␈αε7␈α↓3␈ε_␈απ↓␈ε∧␈αε10␈α↓1␈ε_␈απ↓␈ε∧␈αε13␈α↓7␈ε_␈απ↓␈ε∧␈αε58␈α↓823␈α↓53␈↓ π
␈ε∧1␈α↓6␈↓ λ⊃␈ε∧35␈α↓3␈ε_␈απ↓␈ε∧␈αε44␈α↓9␈ε_␈απ↓␈ε∧␈αε64␈α↓1␈ε_␈απ↓␈ε∧␈αε14␈α↓09␈ε_␈απ↓␈ε∧␈αε6␈α↓9857
␈β⊃%␈↓ εA␈∧⊃%εAλα␈↓ πq␈∧⊃%πqλα
␈β⊃,␈↓ ↓L␈∧⊃,↓Lα	\
␈β⊃5␈↓ ↓L␈∧⊃5↓Lα	\
␈β∪(

␈β↓Y␈↓ ↓H␈εα102␈↓ α=␈ε∞RA␈α␈NDOM␈α	NUMBERS␈εα␈↓ 
b3.3.4
␈βα≥␈↓ εn␈ε≥Table␈α
1
␈βαZ␈↓ ∧>␈εβSAMPLE␈αRE␈α↓S␈α␈UL␈α}TS␈α
OF␈αT␈α↓HE␈αS␈α␈P␈α↓ECTRAL␈αTEST
␈ββ≤␈↓ ↓z␈∧β≤↓zλbλ␈↓ απ␈∧β≤απλbα␈↓ αλ␈∧β≤αλα	%
␈ββ≡␈↓ α]␈∧β≡α];α␈↓ ∧'␈∧β≡∧';α␈↓ ¬~␈∧β≡¬~;α␈↓ +␈∧β≡+;α
␈ββ(␈↓ εε␈εε2␈↓ π6␈εε2␈↓ λ\␈εε2␈↓ 	s␈εε2␈↓ 
u␈εε2
␈ββ-␈↓ α⊂␈ε∧Line␈↓ β;␈ε
a␈↓ ∧T␈ε
m␈↓ ¬x␈ε
↔␈↓ π(␈ε
↔␈↓ λN␈ε
↔␈↓ 	e␈ε
↔␈↓ 
f␈ε
↔
␈ββ:␈↓ εε␈εε2␈↓ π6␈εε3␈↓ λ\␈εε4␈↓ 	s␈εε5␈↓ 
u␈εε6
␈ββX␈↓ αλ␈∧βXαλα	%
␈ββZ␈↓ α]␈∧βZα]λα␈↓ ∧'␈∧βZ∧'λα␈↓ ¬~␈∧βZ¬~λα␈↓ +␈∧βZ+λα
␈ββa␈↓ α]␈∧βaα]$α␈↓ ∧'␈∧βa∧'$α␈↓ ¬~␈∧βa¬~$α␈↓ +␈∧βa+$α
␈ββb␈↓ ∧M␈εε8
␈ββh␈↓ α3␈ε∧1␈↓ β4␈ε∧23␈↓ ∧.␈ε∧1␈↓ ∧=␈ε∧0␈↓ ∧`␈ε∧+␈αε1␈↓ ε"␈ε∧530␈↓ πO␈ε∧530␈↓ λm␈ε∧53␈α↓0␈↓ 	⎇␈ε∧53␈α↓0␈↓ 
q␈ε∧447
␈β∧¬␈↓ α]␈∧∧¬α]$α␈↓ ∧'␈∧∧¬∧'$α␈↓ ¬~␈∧∧¬¬~$α␈↓ +␈∧∧¬+$α
␈β∧ε␈↓ β'␈εε7␈↓ ∧\␈εε35
␈β∧␈↓ α3␈ε∧2␈↓ β↔␈ε∧2␈↓ β:␈ε∧+␈αε1␈↓ ∧M␈ε∧2␈↓ εβ␈ε∧16␈α↓642␈↓ π0␈ε∧16␈α↓642␈↓ λN␈ε∧1␈α↓664␈α↓2␈↓ 	↑␈ε∧1␈α↓560␈α↓2␈↓ 
q␈ε∧252
␈β∧)␈↓ α]␈∧∧)α]$α␈↓ ∧'␈∧∧)∧'$α␈↓ ¬~␈∧∧)¬~$α␈↓ +␈∧∧)+$α
␈β∧*␈↓ β ␈εε18␈↓ ∧\␈εε35
␈β∧0␈↓ α3␈ε∧3␈↓ β⊃␈ε∧2␈↓ β@␈ε∧+␈απ1␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧3␈α↓435␈α↓9738␈α↓368␈↓ πm␈ε∧6␈↓ 	␈ε∧4␈↓ 
≤␈ε∧4␈↓ ∂␈ε∧4
␈β∧M␈↓ α]␈∧∧Mα]$α␈↓ ∧'␈∧∧M∧'$α␈↓ ¬~␈∧∧M¬~$α␈↓ +␈∧∧M+$α
␈β∧N␈↓ ∧\␈εε35
␈β∧T␈↓ α3␈ε∧4␈↓ αv␈ε∧3␈α↓141␈α↓592␈α↓653␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧299␈α↓7222␈α↓016␈↓ π⊃␈ε∧1␈α↓026␈α↓050␈↓ λN␈ε∧2␈α↓782␈α↓2␈↓ 	n␈ε∧111␈α↓8␈↓ 
a␈ε∧1␈α↓118
␈β∧q␈↓ α]␈∧∧qα]$α␈↓ ∧'␈∧∧q∧'$α␈↓ ¬~␈∧∧q¬~$α␈↓ +␈∧∧q+$α
␈β∧x␈↓ α3␈ε∧5␈↓ β,␈ε∧13␈α↓7␈↓ ∧J␈ε∧2␈α↓56␈↓ ε"␈ε∧274␈↓ π↑␈ε∧30␈↓ λ|␈ε∧1␈α↓4␈↓ 
≤␈ε∧6␈↓ ∂␈ε∧4
␈β¬∃␈↓ α]␈∧¬∃α]$α␈↓ ∧'␈∧¬∃∧'$α␈↓ ¬~␈∧¬∃¬~$α␈↓ +␈∧¬∃+$α
␈β¬⊗␈↓ ∧d␈εε10
␈β¬≤␈↓ α3␈ε∧6␈↓ αv␈ε∧3␈α↓141␈α↓592␈α↓621␈↓ ∧E␈ε∧1␈↓ ∧U␈ε∧0␈↓ ¬7␈ε∧457␈α↓7114␈α↓792␈↓ π⊃␈ε∧1␈α↓034␈α↓718␈↓ λN␈ε∧6␈α↓245␈α↓4␈↓ 	n␈ε∧177␈α↓6␈↓ 
q␈ε∧542
␈β¬9␈↓ α]␈∧¬9α]$α␈↓ ∧'␈∧¬9∧'$α␈↓ ¬~␈∧¬9¬~$α␈↓ +␈∧¬9+$α
␈β¬:␈↓ ∧d␈εε10
␈β¬@␈↓ α3␈ε∧7␈↓ αv␈ε∧3␈α↓141␈α↓592␈α↓221␈↓ ∧E␈ε∧1␈↓ ∧U␈ε∧0␈↓ ¬7␈ε∧429␈α↓3881␈α↓050␈↓ π!␈ε∧276␈α↓266␈↓ λN␈ε∧9␈α↓745␈α↓0␈↓ 	n␈ε∧336␈α↓6␈↓ 
a␈ε∧2␈α↓382
␈β¬]␈↓ α]␈∧¬]α]$α␈↓ ∧'␈∧¬]∧'$α␈↓ ¬~␈∧¬]¬~$α␈↓ +␈∧¬]+$α
␈β¬↑␈↓ ∧d␈εε10
␈β¬d␈↓ α3␈ε∧8␈↓ αv␈ε∧6␈α↓180␈α↓339␈α↓881␈↓ ∧E␈ε∧1␈↓ ∧U␈ε∧0␈↓ ¬7␈ε∧173␈α↓2237␈α↓138␈↓ π⊃␈ε∧3␈α↓880␈α↓616␈↓ λN␈ε∧1␈α↓778␈α↓6␈↓ 	n␈ε∧824␈α↓4␈↓ 
q␈ε∧938
␈βε↓␈↓ α]␈∧ε↓α]$α␈↓ ∧'␈∧ε↓∧'$α␈↓ ¬~␈∧ε↓¬~$α␈↓ +␈∧ε↓+$α
␈βεα␈↓ ∧d␈εε10
␈βελ␈↓ α3␈ε∧9␈↓ αv␈ε∧4␈α↓160␈α↓984␈α↓121␈↓ ∧E␈ε∧1␈↓ ∧U␈ε∧0␈↓ ¬7␈ε∧918␈α↓3801␈α↓602␈↓ π⊃␈ε∧4␈α↓615␈α↓650␈↓ λN␈ε∧1␈α↓668␈α↓6␈↓ 	n␈ε∧684␈α↓0␈↓ 
a␈ε∧1␈α↓344
␈βε%␈↓ α]␈∧ε%α]$α␈↓ ∧'␈∧ε%∧'$α␈↓ ¬~␈∧ε%¬~$α␈↓ +␈∧ε%+$α
␈βε&␈↓ ∧\␈εε35
␈βε,␈↓ α$␈ε∧10␈↓ αv␈ε∧3␈α↓141␈α↓592␈α↓221␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧1␈α↓353␈α↓9813␈α↓818␈↓ π⊃␈ε∧5␈α↓795␈α↓090␈↓ λN␈ε∧8␈α↓813␈α↓4␈↓ 	↑␈ε∧1␈α↓271␈α↓6␈↓ 
a␈ε∧2␈α↓938
␈βεI␈↓ α]␈∧εIα]$α␈↓ ∧'␈∧εI∧'$α␈↓ ¬~␈∧εI¬~$α␈↓ +␈∧εI+$α
␈βεJ␈↓ ∧\␈εε35
␈βεP␈↓ α$␈ε∧11␈↓ α}␈ε∧27␈α↓182␈α↓8129␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧2␈α↓293␈α↓9188␈α↓896␈↓ π⊃␈ε∧2␈α↓723␈α↓830␈↓ λ?␈ε∧14␈α↓611␈α↓6␈↓ 	↑␈ε∧1␈α↓078␈α↓2␈↓ 
a␈ε∧2␈α↓914
␈βεm␈↓ α]␈∧εmα]$α␈↓ ∧'␈∧εm∧'$α␈↓ ¬~␈∧εm¬~$α␈↓ +␈∧εm+$α
␈βεn␈↓ β>␈εε13␈↓ ∧\␈εε35
␈βεt␈↓ α$␈ε∧12␈↓ β/␈ε∧5␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧3␈α↓316␈α↓1885␈α↓770␈↓ π⊃␈ε∧2␈α↓925␈α↓242␈↓ λ?␈ε∧11␈α↓337␈α↓4␈↓ 	↑␈ε∧1␈α↓307␈α↓0␈↓ 
a␈ε∧2␈α↓256
␈βπ⊃␈↓ α]␈∧π⊃α]$α␈↓ ∧'␈∧π⊃∧'$α␈↓ ¬~␈∧π⊃¬~$α␈↓ +␈∧π⊃+$α
␈βπ∩␈↓ β>␈εε15␈↓ ∧\␈εε35
␈βπ_␈↓ α$␈ε∧13␈↓ β/␈ε∧5␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧2␈α↓207␈α↓8865␈α↓098␈↓ πα␈ε∧10␈α↓274␈α↓746␈↓ λ?␈ε∧16␈α↓755␈α↓8␈↓ 	n␈ε∧584␈α↓4␈↓ 
a␈ε∧2␈α↓592
␈βπ5␈↓ α]␈∧π5α]$α␈↓ ∧'␈∧π5∧'$α␈↓ ¬~␈∧π5¬~$α␈↓ +␈∧π5+$α
␈βπ6␈↓ αv␈εε2␈α␈3␈↓ βK␈εε1␈α␈2␈↓ ∧\␈εε35
␈βπ<␈↓ α$␈ε∧14␈↓ αg␈ε∧2␈↓ β⊗␈ε∧+␈↓ β;␈ε∧2␈↓ βk␈ε∧+␈αε5␈↓ ∧M␈ε∧2␈↓ ¬F␈ε∧16␈α↓7510␈α↓120␈↓ π⊃␈ε∧8␈α↓052␈α↓254␈↓ λN␈ε∧2␈α↓147␈α↓6␈↓ 	↑␈ε∧1␈α↓680␈α↓2␈↓ 
a␈ε∧1␈α↓630
␈βπY␈↓ α]␈∧πYα]$α␈↓ ∧'␈∧πY∧'$α␈↓ ¬~␈∧πY¬~$α␈↓ +␈∧πY+$α
␈βπZ␈↓ αv␈εε2␈α␈3␈↓ βK␈εε1␈α␈3␈↓ ∧\␈εε35
␈βπ`␈↓ α$␈ε∧15␈↓ αg␈ε∧2␈↓ β⊗␈ε∧+␈↓ β;␈ε∧2␈↓ βk␈ε∧+␈αε5␈↓ ∧M␈ε∧2␈↓ ¬F␈ε∧16␈α↓8231␈α↓328␈↓ π⊃␈ε∧5␈α↓335␈α↓322␈↓ λN␈ε∧2␈α↓147␈α↓6␈↓ 	n␈ε∧200␈α↓8␈↓ 
a␈ε∧1␈α↓134
␈βπ⎇␈↓ α]␈∧π⎇α]$α␈↓ ∧'␈∧π⎇∧'$α␈↓ ¬~␈∧π⎇¬~$α␈↓ +␈∧π⎇+$α
␈βπ}␈↓ αv␈εε2␈α␈3␈↓ βK␈εε1␈α␈4␈↓ ∧\␈εε35
␈βλ∧␈↓ α$␈ε∧16␈↓ αg␈ε∧2␈↓ β⊗␈ε∧+␈↓ β;␈ε∧2␈↓ βk␈ε∧+␈αε5␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧1␈α↓225␈α↓6151␈α↓168␈↓ π⊃␈ε∧5␈α↓733␈α↓878␈↓ λN␈ε∧2␈α↓147␈α↓6␈↓ 	↑␈ε∧1␈α↓331␈α↓6␈↓ 
a␈ε∧2␈α↓032
␈βλ!␈↓ α]␈∧λ!α]$α␈↓ ∧'␈∧λ!∧'$α␈↓ ¬~␈∧λ!¬~$α␈↓ +␈∧λ!+$α
␈βλ"␈↓ αv␈εε2␈α␈2␈↓ βK␈εε1␈α␈3␈↓ ∧\␈εε35
␈βλ(␈↓ α$␈ε∧17␈↓ αg␈ε∧2␈↓ β⊗␈ε∧+␈↓ β;␈ε∧2␈↓ βk␈ε∧+␈αε5␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧820␈α↓1443␈α↓840␈↓ π⊃␈ε∧1␈α↓830␈α↓230␈↓ λN␈ε∧2␈α↓147␈α↓6␈↓ 	n␈ε∧778␈α↓6␈↓ 
a␈ε∧3␈α↓080
␈βλE␈↓ α]␈∧λEα]$α␈↓ ∧'␈∧λE∧'$α␈↓ ¬~␈∧λE¬~$α␈↓ +␈∧λE+$α
␈βλF␈↓ αv␈εε2␈α␈4␈↓ βK␈εε1␈α␈3␈↓ ∧\␈εε35
␈βλL␈↓ α$␈ε∧18␈↓ αg␈ε∧2␈↓ β⊗␈ε∧+␈↓ β;␈ε∧2␈↓ βk␈ε∧+␈αε5␈↓ ∧M␈ε∧2␈↓ ¬e␈ε∧8364␈α↓058␈↓ π⊃␈ε∧8␈α↓364␈α↓058␈↓ λN␈ε∧2␈α↓147␈α↓6␈↓ 	↑␈ε∧1␈α↓671␈α↓2␈↓ 
a␈ε∧1␈α↓496
␈βλi␈↓ α]␈∧λiα]$α␈↓ ∧'␈∧λi∧'$α␈↓ ¬~␈∧λi¬~$α␈↓ +␈∧λi+$α
␈βλj␈↓ ∧\␈εε35
␈βλp␈↓ α$␈ε∧19␈↓ αo␈ε∧212␈α↓354␈α↓8615␈α↓7␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧1␈α↓474␈α↓2505␈α↓450␈↓ π⊃␈ε∧5␈α↓305␈α↓448␈↓ λ?␈ε∧16␈α↓581␈α↓8␈↓ 	↑␈ε∧1␈α↓206␈α↓2␈↓ 
a␈ε∧1␈α↓706
␈β	
␈↓ α]␈∧	
α]$α␈↓ ∧'␈∧	
∧'$α␈↓ ¬~␈∧	
¬~$α␈↓ +␈∧	
+$α
␈β	∞␈↓ ∧\␈εε35
␈β	∀␈↓ α$␈ε∧20␈↓ αv␈ε∧1␈α↓175␈α↓245␈α↓817␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧3␈α↓633␈α↓6418␈α↓002␈↓ π⊃␈ε∧7␈α↓362␈α↓242␈↓ λN␈ε∧9␈α↓530␈α↓6␈↓ 	n␈ε∧300␈α↓6␈↓ 
a␈ε∧2␈α↓860
␈β	1␈↓ α]␈∧	1α]$α␈↓ ∧'␈∧	1∧'$α␈↓ ¬~␈∧	1¬~$α␈↓ +␈∧	1+$α
␈β	2␈↓ ∧\␈εε35
␈β	8␈↓ α$␈ε∧21␈↓ βε␈ε∧170␈α↓594␈α↓65␈↓ ∧M␈ε∧2␈↓ ¬'␈ε∧3␈α↓934␈α↓1117␈α↓000␈↓ π⊃␈ε∧9␈α↓476␈α↓606␈↓ λ?␈ε∧20␈α↓279␈α↓6␈↓ 	↑␈ε∧1␈α↓875␈α↓8␈↓ 
a␈ε∧2␈α↓382
␈β	U␈↓ α]␈∧	Uα]$α␈↓ ∧'␈∧	U∧'$α␈↓ ¬~␈∧	U¬~$α␈↓ +␈∧	U+$α
␈β	V␈↓ β ␈εε16␈↓ ∧\␈εε29
␈β	\␈↓ α$␈ε∧22␈↓ β⊃␈ε∧2␈↓ β@␈ε∧+␈απ3␈↓ ∧M␈ε∧2␈↓ ¬F␈ε∧53␈α↓6805␈α↓386␈↓ πO␈ε∧118␈↓ λm␈ε∧11␈α↓6␈↓ 	⎇␈ε∧11␈α↓6␈↓ 
q␈ε∧116
␈β	y␈↓ α]␈∧	yα]$α␈↓ ∧'␈∧	y∧'$α␈↓ ¬~␈∧	y¬~$α␈↓ +␈∧	y+$α
␈β	z␈↓ ∧\␈εε32
␈β
␈↓ α$␈ε∧23␈↓ αv␈ε∧2␈α↓654␈α↓435␈α↓769␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧360␈α↓6635␈α↓378␈↓ π⊃␈ε∧2␈α↓027␈α↓906␈↓ λN␈ε∧2␈α↓383␈α↓8␈↓ 	n␈ε∧203␈α↓2␈↓ 
q␈ε∧286
␈β
≥␈↓ α]␈∧
≥α]$α␈↓ ∧'␈∧
≥∧'$α␈↓ ¬~␈∧
≥¬~$α␈↓ +␈∧
≥+$α
␈β
≡␈↓ ∧\␈εε32
␈β
$␈↓ α$␈ε∧24␈↓ αv␈ε∧1␈α↓566␈α↓083␈α↓941␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧465␈α↓9748␈α↓970␈↓ π⊃␈ε∧2␈α↓079␈α↓590␈↓ λN␈ε∧4␈α↓490␈α↓2␈↓ 	n␈ε∧465␈α↓2␈↓ 
q␈ε∧662
␈β
A␈↓ α]␈∧
Aα]$α␈↓ ∧'␈∧
A∧'$α␈↓ ¬~␈∧
A¬~$α␈↓ +␈∧
A+$α
␈β
B␈↓ ∧\␈εε32
␈β
H␈↓ α$␈ε∧25␈↓ β≥␈ε∧690␈α↓69␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧424␈α↓3209␈α↓856␈↓ π⊃␈ε∧2␈α↓072␈α↓544␈↓ λN␈ε∧5␈α↓280␈α↓4␈↓ 	n␈ε∧699␈α↓0␈↓ 
q␈ε∧242
␈β
e␈↓ α]␈∧
eα]$α␈↓ ∧'␈∧
e∧'$α␈↓ ¬~␈∧
e¬~$α␈↓ +␈∧
e+$α
␈β
f␈↓ ∧\␈εε32
␈β
l␈↓ α$␈ε∧26␈↓ β
␈ε∧1␈α↓664␈α↓525␈↓ ∧M␈ε∧2␈↓ ¬7␈ε∧493␈α↓8916␈α↓874␈↓ π⊃␈ε∧2␈α↓322␈α↓494␈↓ λN␈ε∧6␈α↓371␈α↓2␈↓ 	n␈ε∧409␈α↓2␈↓ 
a␈ε∧1␈α↓038
␈β	␈↓ α]␈∧	α]$α␈↓ ∧'␈∧	∧'$α␈↓ ¬~␈∧	¬~$α␈↓ +␈∧	+$α
␈β
␈↓ ∧?␈εε3␈α␈1
␈β⊂␈↓ α$␈ε∧27␈↓ α}␈ε∧31␈α↓415␈α↓9269␈↓ ∧/␈ε∧2␈↓ ∧←␈ε_␈␈ε∧␈αε1␈↓ ¬F␈ε∧14␈α↓3232␈α↓969␈↓ π!␈ε∧899␈α↓290␈↓ λN␈ε∧3␈α↓698␈α↓5␈↓ 	n␈ε∧342␈α↓7␈↓ 
a␈ε∧1␈α↓144
␈β-␈↓ α]␈∧-α]$α␈↓ ¬~␈∧-¬~$α␈↓ +␈∧-+$α
␈β.␈↓ ¬d␈εε31␈↓ εC␈εε2␈↓ πc␈εε12
␈β4␈↓ α$␈ε∧28␈↓ βZ␈ε∧se␈α␈e␈α
(39␈α↓)␈↓ ¬K␈ε∧(␈↓ ¬U␈ε∧2␈↓ ε∧␈ε_␈␈ε∧␈απ1␈↓ ε9␈ε∧)␈↓ εq␈ε∧1␈α↓.␈α␈4␈ε_␈απα␈ε∧␈απ1␈↓ πT␈ε∧0␈↓ λ⊃␈ε∧64␈α↓357␈α↓862␈α↓3␈↓ 	0␈ε∧1␈α↓293␈α↓002␈α↓7␈↓ 
C␈ε∧837␈α↓632
␈βQ␈↓ α]␈∧Qα]$α␈↓ ∧'␈∧Q∧'$α␈↓ ¬~␈∧Q¬~$α␈↓ +␈∧Q+$α
␈βR␈↓ ∧\␈εε48␈↓ ε6␈εε14
␈βX␈↓ α$␈ε∧29␈↓ βε␈ε∧311␈α↓672␈α↓85␈↓ ∧M␈ε∧2␈↓ ¬E␈ε∧3.␈α␈2␈ε_␈απα␈ε∧␈απ1␈↓ ε'␈ε∧0␈↓ εc␈ε∧4␈α↓111␈α↓841␈α↓446␈↓ λ ␈ε∧1␈α↓734␈α↓151␈α↓0␈↓ 	O␈ε∧30␈α↓632␈α↓6␈↓ 
R␈ε∧59␈α↓278
␈βu␈↓ α]␈∧uα]λα␈↓ ∧'␈∧u∧'λα␈↓ ¬~␈∧u¬~λα␈↓ +␈∧u+λα
␈β|␈↓ αλ␈∧|αλα	%
␈β∪(

␈β↓Y␈↓ ↓H␈εα3.3.4␈ε∞␈↓ λ⊃T␈α␈HE␈α	SP␈α␈ECTRA␈α␈L␈α	TEST␈↓ 
v␈εα103
␈βαM␈↓ π␈εε1
␈βαR␈↓ ε<␈ε∧(␈↓ εF␈ε
∂␈↓ εZ␈ε∧=␈↓ π!␈ε∧)
␈βα←␈↓ π¬␈∧α←π¬α~
␈βαa␈↓ π¬␈εε1␈α␈0
␈ββ≤␈↓ ↓H␈∧β≤↓Hαπ␈␈↓ 	F␈∧β≤	Fλbα␈↓ 	M␈∧β≤	Mλbλ
␈ββ≡␈↓ ↓H␈∧β≡↓H;α␈↓ ∧v␈∧β≡∧v;α␈↓ λp␈∧β≡λp;α
␈ββ-␈↓ ↓X␈ε∧lg␈↓ ↓u␈ε
↔␈↓ α.␈ε∧lg␈↓ αK␈ε
↔␈↓ β¬␈ε∧l␈α␈g␈↓ β!␈ε
↔␈↓ β[␈ε∧l␈α␈g␈↓ βx␈ε
↔␈↓ ∧1␈ε∧l␈α␈g␈↓ ∧M␈ε
↔␈↓ ¬≤␈ε
⊗␈↓ ε↓␈ε
⊗␈↓ εe␈ε
⊗␈↓ πJ␈ε
⊗␈↓ λ/␈ε
⊗␈↓ λ}␈ε∧Line
␈ββ7␈↓ αα␈εε2␈↓ αX␈εε3␈↓ β.␈εε4␈↓ ∧¬␈εε5␈↓ ∧Z␈εε6␈↓ ¬,␈εε2␈↓ ε⊃␈εε3␈↓ εu␈εε4␈↓ πZ␈εε5␈↓ λ?␈εε6
␈ββX␈↓ ↓H␈∧βX↓Hαπ␈
␈ββZ␈↓ ↓H␈∧βZ↓Hλα␈↓ ∧v␈∧βZ∧vλα␈↓ λp␈∧βZλpλα
␈ββa␈↓ ↓H␈∧βa↓H$α␈↓ ∧v␈∧βa∧v$α␈↓ λp␈∧βaλp$α
␈ββb␈↓ ¬1␈εε5␈↓ ε⊗␈εε4
␈ββh␈↓ ↓i␈ε∧4.␈α␈5␈↓ α?␈ε∧4.5␈↓ β∃␈ε∧4␈α↓.␈α␈5␈↓ βl␈ε∧4.5␈↓ ∧C␈ε∧4.␈α␈4␈↓ ¬⊗␈ε∧2␈↓ ¬%␈ε
∂␈↓ ¬{␈ε∧5␈↓ ε
␈ε
∂␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓1␈↓ π=␈ε∧0␈α↓.␈α␈34␈↓ λ"␈ε∧4.62␈↓ 	≤␈ε∧1
␈β∧¬␈↓ ↓H␈∧∧¬↓H$α␈↓ ∧v␈∧∧¬∧v$α␈↓ λp␈∧∧¬λp$α
␈β∧ε␈↓ ¬1␈εε6␈↓ ε⊗␈εε4␈↓ λE␈εε3
␈β∧␈↓ ↓i␈ε∧7.␈α␈0␈↓ α?␈ε∧7.0␈↓ β∃␈ε∧7␈α↓.␈α␈0␈↓ βl␈ε∧7.0␈↓ ∧C␈ε∧4.␈α␈0␈↓ ¬⊗␈ε∧2␈↓ ¬%␈ε
∂␈↓ ¬{␈ε∧3␈↓ ε
␈ε
∂␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓4␈↓ π=␈ε∧4␈α↓.␈α␈66␈↓ λ)␈ε∧2␈↓ λ9␈ε
∂␈↓ 	≤␈ε∧2
␈β∧)␈↓ ↓H␈∧∧)↓H$α␈↓ ∧v␈∧∧)∧v$α␈↓ λp␈∧∧)λp$α
␈β∧*␈↓ ε⊗␈εε9␈↓ ε{␈εε9␈↓ π`␈εε9␈↓ λ=␈εε8
␈β∧0␈↓ ↓Y␈ε∧1␈α↓7.␈α␈5␈↓ α?␈ε∧1.3␈↓ β∃␈ε∧1␈α↓.␈α␈0␈↓ βl␈ε∧1.0␈↓ ∧C␈ε∧1.␈α␈0␈↓ ¬∂␈ε∧3.14␈↓ ¬{␈ε∧2␈↓ ε
␈ε
∂␈↓ ε`␈ε∧2␈↓ εo␈ε
∂␈↓ πE␈ε∧5␈↓ πT␈ε
∂␈↓ λ1␈ε
∂␈↓ 	≤␈ε∧3
␈β∧M␈↓ ↓H␈∧∧M↓H$α␈↓ ∧v␈∧∧M∧v$α␈↓ λp␈∧∧Mλp$α
␈β∧T␈↓ ↓Y␈ε∧1␈α↓5.␈α␈7␈↓ α0␈ε∧10.0␈↓ β∃␈ε∧7␈α↓.␈α␈4␈↓ βl␈ε∧5.0␈↓ ∧C␈ε∧5.␈α␈0␈↓ ¬∂␈ε∧0.27␈↓ ¬t␈ε∧0.␈α␈1␈α↓3␈↓ εX␈ε∧0␈α↓.␈α␈1␈α↓1␈↓ π=␈ε∧0␈α↓.␈α␈01␈↓ λ"␈ε∧0.21␈↓ 	≤␈ε∧4
␈β∧q␈↓ ↓H␈∧∧q↓H$α␈↓ ∧v␈∧∧q∧v$α␈↓ λp␈∧∧qλp$α
␈β∧x␈↓ ↓i␈ε∧4.␈α␈0␈↓ α?␈ε∧2.5␈↓ β∃␈ε∧1␈α↓.␈α␈9␈↓ βl␈ε∧1.3␈↓ ∧C␈ε∧1.␈α␈0␈↓ ¬∂␈ε∧3.36␈↓ ¬t␈ε∧2.␈α␈6␈α↓9␈↓ εX␈ε∧3␈α↓.␈α␈7␈α↓8␈↓ π=␈ε∧1␈α↓.␈α␈81␈↓ λ"␈ε∧1.29␈↓ 	≤␈ε∧5
␈β¬∃␈↓ ↓H␈∧¬∃↓H$α␈↓ ∧v␈∧¬∃∧v$α␈↓ λp␈∧¬∃λp$α
␈β¬≤␈↓ ↓Y␈ε∧1␈α↓6.␈α␈0␈↓ α0␈ε∧10.0␈↓ β∃␈ε∧8␈α↓.␈α␈0␈↓ βl␈ε∧5.4␈↓ ∧C␈ε∧4.␈α␈5␈↓ ¬∂␈ε∧1.44␈↓ ¬t␈ε∧0.␈α␈4␈α↓4␈↓ εX␈ε∧1␈α↓.␈α␈9␈α↓2␈↓ π=␈ε∧0␈α↓.␈α␈07␈↓ λ"␈ε∧0.08␈↓ 	≤␈ε∧6
␈β¬9␈↓ ↓H␈∧¬9↓H$α␈↓ ∧v␈∧¬9∧v$α␈↓ λp␈∧¬9λp$α
␈β¬@␈↓ ↓Y␈ε∧1␈α↓6.␈α␈0␈↓ α?␈ε∧9.0␈↓ β∃␈ε∧8␈α↓.␈α␈3␈↓ βl␈ε∧5.9␈↓ ∧C␈ε∧5.␈α␈6␈↓ ¬∂␈ε∧1.35␈↓ ¬t␈ε∧0.␈α␈0␈α↓6␈↓ εX␈ε∧4␈α↓.␈α␈6␈α↓9␈↓ π=␈ε∧0␈α↓.␈α␈35␈↓ λ"␈ε∧6.98␈↓ 	≤␈ε∧7
␈β¬]␈↓ ↓H␈∧¬]↓H$α␈↓ ∧v␈∧¬]∧v$α␈↓ λp␈∧¬]λp$α
␈β¬d␈↓ ↓Y␈ε∧1␈α↓5.␈α␈3␈↓ α0␈ε∧10.9␈↓ β∃␈ε∧7␈α↓.␈α␈1␈↓ βl␈ε∧6.5␈↓ ∧C␈ε∧4.␈α␈9␈↓ ¬∂␈ε∧0.54␈↓ ¬t␈ε∧3.␈α␈2␈α↓0␈↓ εX␈ε∧0␈α↓.␈α␈1␈α↓6␈↓ π=␈ε∧3␈α↓.␈α␈25␈↓ λ"␈ε∧0.43␈↓ 	≤␈ε∧8
␈βε↓␈↓ ↓H␈∧ε↓↓H$α␈↓ ∧v␈∧ε↓∧v$α␈↓ λp␈∧ε↓λp$α
␈βελ␈↓ ↓Y␈ε∧1␈α↓6.␈α␈5␈↓ α0␈ε∧11.1␈↓ β∃␈ε∧7␈α↓.␈α␈0␈↓ βl␈ε∧6.4␈↓ ∧C␈ε∧5.␈α␈2␈↓ ¬∂␈ε∧2.89␈↓ ¬t␈ε∧4.␈α␈1␈α↓5␈↓ εX␈ε∧0␈α↓.␈α␈1␈α↓4␈↓ π=␈ε∧2␈α↓.␈α␈04␈↓ λ"␈ε∧1.25␈↓ 	≤␈ε∧9
␈βε%␈↓ ↓H␈∧ε%↓H$α␈↓ ∧v␈∧ε%∧v$α␈↓ λp␈∧ε%λp$α
␈βε,␈↓ ↓Y␈ε∧1␈α↓6.␈α␈8␈↓ α0␈ε∧11.2␈↓ β∃␈ε∧8␈α↓.␈α␈2␈↓ βl␈ε∧6.8␈↓ ∧C␈ε∧5.␈α␈8␈↓ ¬∂␈ε∧1.24␈↓ ¬t␈ε∧1.␈α␈7␈α↓0␈↓ εX␈ε∧1␈α↓.␈α␈1␈α↓2␈↓ π=␈ε∧2␈α↓.␈α␈79␈↓ λ"␈ε∧3.81␈↓ 	␈ε∧1␈α↓0
␈βεI␈↓ ↓H␈∧εI↓H$α␈↓ ∧v␈∧εI∧v$α␈↓ λp␈∧εIλp$α
␈βεP␈↓ ↓Y␈ε∧1␈α↓7.␈α␈2␈↓ α0␈ε∧10.7␈↓ β∃␈ε∧8␈α↓.␈α␈6␈↓ βl␈ε∧6.7␈↓ ∧C␈ε∧5.␈α␈8␈↓ ¬∂␈ε∧2.10␈↓ ¬t␈ε∧0.␈α␈5␈α↓5␈↓ εX␈ε∧3␈α↓.␈α␈1␈α↓5␈↓ π=␈ε∧1␈α↓.␈α␈85␈↓ λ"␈ε∧3.72␈↓ 	␈ε∧1␈α↓1
␈βεm␈↓ ↓H␈∧εm↓H$α␈↓ ∧v␈∧εm∧v$α␈↓ λp␈∧εmλp$α
␈βεt␈↓ ↓Y␈ε∧1␈α↓7.␈α␈5␈↓ α0␈ε∧10.7␈↓ β∃␈ε∧8␈α↓.␈α␈4␈↓ βl␈ε∧6.8␈↓ ∧C␈ε∧5.␈α␈6␈↓ ¬∂␈ε∧3.03␈↓ ¬t␈ε∧0.␈α␈6␈α↓1␈↓ εX␈ε∧1␈α↓.␈α␈8␈α↓5␈↓ π=␈ε∧2␈α↓.␈α␈99␈↓ λ"␈ε∧1.73␈↓ 	␈ε∧1␈α↓2
␈βπ⊃␈↓ ↓H␈∧π⊃↓H$α␈↓ ∧v␈∧π⊃∧v$α␈↓ λp␈∧π⊃λp$α
␈βπ_␈↓ ↓Y␈ε∧1␈α↓7.␈α␈2␈↓ α0␈ε∧11.6␈↓ β∃␈ε∧8␈α↓.␈α␈7␈↓ βl␈ε∧6.3␈↓ ∧C␈ε∧5.␈α␈7␈↓ ¬∂␈ε∧2.02␈↓ ¬t␈ε∧4.␈α␈0␈α↓2␈↓ εX␈ε∧4␈α↓.␈α␈0␈α↓3␈↓ π=␈ε∧0␈α↓.␈α␈40␈↓ λ"␈ε∧2.62␈↓ 	␈ε∧1␈α↓3
␈βπ5␈↓ ↓H␈∧π5↓H$α␈↓ ∧v␈∧π5∧v$α␈↓ λp␈∧π5λp$α
␈βπ<␈↓ ↓Y␈ε∧1␈α↓3.␈α␈7␈↓ α0␈ε∧11.5␈↓ β∃␈ε∧7␈α↓.␈α␈2␈↓ βl␈ε∧7.0␈↓ ∧C␈ε∧5.␈α␈3␈↓ ¬∂␈ε∧0.02␈↓ ¬t␈ε∧2.␈α␈7␈α↓9␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓7␈↓ π=␈ε∧5␈α↓.␈α␈61␈↓ λ"␈ε∧0.65␈↓ 	␈ε∧1␈α↓4
␈βπY␈↓ ↓H␈∧πY↓H$α␈↓ ∧v␈∧πY∧v$α␈↓ λp␈∧πYλp$α
␈βπ`␈↓ ↓Y␈ε∧1␈α↓3.␈α␈7␈↓ α0␈ε∧11.2␈↓ β∃␈ε∧7␈α↓.␈α␈2␈↓ βl␈ε∧5.5␈↓ ∧C␈ε∧5.␈α␈1␈↓ ¬∂␈ε∧0.02␈↓ ¬t␈ε∧1.␈α␈5␈α↓0␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓7␈↓ π=␈ε∧0␈α↓.␈α␈03␈↓ λ"␈ε∧0.22␈↓ 	␈ε∧1␈α↓5
␈βπ⎇␈↓ ↓H␈∧π⎇↓H$α␈↓ ∧v␈∧π⎇∧v$α␈↓ λp␈∧π⎇λp$α
␈βλ∧␈↓ ↓Y␈ε∧1␈α↓6.␈α␈8␈↓ α0␈ε∧11.2␈↓ β∃␈ε∧7␈α↓.␈α␈2␈↓ βl␈ε∧6.9␈↓ ∧C␈ε∧5.␈α␈5␈↓ ¬∂␈ε∧1.12␈↓ ¬t␈ε∧1.␈α␈6␈α↓7␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓7␈↓ π=␈ε∧3␈α↓.␈α␈13␈↓ λ"␈ε∧1.26␈↓ 	␈ε∧1␈α↓6
␈βλ!␈↓ ↓H␈∧λ!↓H$α␈↓ ∧v␈∧λ!∧v$α␈↓ λp␈∧λ!λp$α
␈βλ(␈↓ ↓Y␈ε∧1␈α↓6.␈α␈5␈↓ α0␈ε∧10.4␈↓ β∃␈ε∧7␈α↓.␈α␈2␈↓ βl␈ε∧6.5␈↓ ∧C␈ε∧5.␈α␈8␈↓ ¬∂␈ε∧0.75␈↓ ¬t␈ε∧0.␈α␈3␈α↓0␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓7␈↓ π=␈ε∧0␈α↓.␈α␈82␈↓ λ"␈ε∧4.39␈↓ 	␈ε∧1␈α↓7
␈βλE␈↓ ↓H␈∧λE↓H$α␈↓ ∧v␈∧λE∧v$α␈↓ λp␈∧λEλp$α
␈βλF␈↓ ¬1␈εε4
␈βλL␈↓ ↓Y␈ε∧1␈α↓1.␈α␈5␈↓ α0␈ε∧11.5␈↓ β∃␈ε∧7␈α↓.␈α␈2␈↓ βl␈ε∧7.0␈↓ ∧C␈ε∧5.␈α␈3␈↓ ¬⊗␈ε∧8␈↓ ¬%␈ε
∂␈↓ ¬t␈ε∧2.␈α␈9␈α↓5␈↓ εX␈ε∧0␈α↓.␈α␈0␈α↓7␈↓ π=␈ε∧5␈α↓.␈α␈53␈↓ λ"␈ε∧0.50␈↓ 	␈ε∧1␈α↓8
␈βλi␈↓ ↓H␈∧λi↓H$α␈↓ ∧v␈∧λi∧v$α␈↓ λp␈∧λiλp$α
␈βλp␈↓ ↓Y␈ε∧1␈α↓6.␈α␈9␈↓ α0␈ε∧11.2␈↓ β∃␈ε∧8␈α↓.␈α␈7␈↓ βl␈ε∧6.8␈↓ ∧C␈ε∧5.␈α␈4␈↓ ¬∂␈ε∧1.35␈↓ ¬t␈ε∧1.␈α␈5␈α↓0␈↓ εX␈ε∧3␈α↓.␈α␈9␈α↓5␈↓ π=␈ε∧2␈α↓.␈α␈45␈↓ λ"␈ε∧0.75␈↓ 	␈ε∧1␈α↓9
␈β	
␈↓ ↓H␈∧	
↓H$α␈↓ ∧v␈∧	
∧v$α␈↓ λp␈∧	
λp$α
␈β	∀␈↓ ↓Y␈ε∧1␈α↓7.␈α␈5␈↓ α0␈ε∧11.4␈↓ β∃␈ε∧8␈α↓.␈α␈3␈↓ βl␈ε∧5.8␈↓ ∧C␈ε∧5.␈α␈7␈↓ ¬∂␈ε∧3.33␈↓ ¬t␈ε∧2.␈α␈4␈α↓4␈↓ εX␈ε∧1␈α↓.␈α␈3␈α↓0␈↓ π=␈ε∧0␈α↓.␈α␈08␈↓ λ"␈ε∧3.52␈↓ 	␈ε∧2␈α↓0
␈β	1␈↓ ↓H␈∧	1↓H$α␈↓ ∧v␈∧	1∧v$α␈↓ λp␈∧	1λp$α
␈β	8␈↓ ↓Y␈ε∧1␈α↓7.␈α␈6␈↓ α0␈ε∧11.6␈↓ β∃␈ε∧8␈α↓.␈α␈8␈↓ βl␈ε∧7.1␈↓ ∧C␈ε∧5.␈α␈6␈↓ ¬∂␈ε∧3.60␈↓ ¬t␈ε∧3.␈α␈5␈α↓6␈↓ εX␈ε∧5␈α↓.␈α␈9␈α↓1␈↓ π=␈ε∧7␈α↓.␈α␈38␈↓ λ"␈ε∧2.03␈↓ 	␈ε∧2␈α↓1
␈β	U␈↓ ↓H␈∧	U↓H$α␈↓ ∧v␈∧	U∧v$α␈↓ λp␈∧	Uλp$α
␈β	V␈↓ ε∞␈εε5␈↓ εs␈εε4␈↓ πX␈εε3
␈β	\␈↓ ↓Y␈ε∧1␈α↓4.␈α␈5␈↓ α?␈ε∧3.4␈↓ β∃␈ε∧3␈α↓.␈α␈4␈↓ βl␈ε∧3.4␈↓ ∧C␈ε∧3.␈α␈4␈↓ ¬∂␈ε∧3.14␈↓ εβ␈ε
∂␈↓ εg␈ε
∂␈↓ πL␈ε
∂␈↓ λ"␈ε∧0.02␈↓ 	␈ε∧2␈α↓2
␈β	y␈↓ ↓H␈∧	y↓H$α␈↓ ∧v␈∧	y∧v$α␈↓ λp␈∧	yλp$α
␈β
␈↓ ↓Y␈ε∧1␈α↓5.␈α␈9␈↓ α0␈ε∧10.5␈↓ β∃␈ε∧7␈α↓.␈α␈3␈↓ βl␈ε∧5.5␈↓ ∧C␈ε∧4.␈α␈1␈↓ ¬∂␈ε∧2.64␈↓ ¬t␈ε∧2.␈α␈8␈α↓2␈↓ εX␈ε∧0␈α↓.␈α␈6␈α↓5␈↓ π=␈ε∧0␈α↓.␈α␈23␈↓ λ"␈ε∧0.03␈↓ 	␈ε∧2␈α↓3
␈β
≥␈↓ ↓H␈∧
≥↓H$α␈↓ ∧v␈∧
≥∧v$α␈↓ λp␈∧
≥λp$α
␈β
$␈↓ ↓Y␈ε∧3␈α↓1.␈α␈0␈↓ α0␈ε∧20.2␈↓ βε␈ε∧15␈α↓.␈α␈6␈↓ β\␈ε∧1␈α↓1.8␈↓ ∧C␈ε∧9.␈α␈8␈↓ ¬∂␈ε∧3.14␈↓ ¬t␈ε∧1.␈α␈4␈α↓9␈↓ εX␈ε∧0␈α↓.␈α␈4␈α↓4␈↓ π=␈ε∧0␈α↓.␈α␈69␈↓ λ"␈ε∧0.66␈↓ 	␈ε∧2␈α↓4
␈β
A␈↓ ↓H␈∧
A↓H$α␈↓ ∧v␈∧
A∧v$α␈↓ λp␈∧
Aλp$α
␈β
H␈↓ ↓Y␈ε∧1␈α↓6.␈α␈0␈↓ α0␈ε∧10.5␈↓ β∃␈ε∧7␈α↓.␈α␈8␈↓ βl␈ε∧6.4␈↓ ∧C␈ε∧4.␈α␈0␈↓ ¬∂␈ε∧3.10␈↓ ¬t␈ε∧2.␈α␈9␈α↓1␈↓ εX␈ε∧3␈α↓.␈α␈2␈α↓0␈↓ π=␈ε∧5␈α↓.␈α␈01␈↓ λ"␈ε∧0.02␈↓ 	␈ε∧2␈α↓5
␈β
e␈↓ ↓H␈∧
e↓H$α␈↓ ∧v␈∧
e∧v$α␈↓ λp␈∧
eλp$α
␈β
l␈↓ ↓Y␈ε∧1␈α↓6.␈α␈1␈↓ α0␈ε∧10.6␈↓ β∃␈ε∧8␈α↓.␈α␈0␈↓ βl␈ε∧6.0␈↓ ∧C␈ε∧5.␈α␈0␈↓ ¬∂␈ε∧3.61␈↓ ¬t␈ε∧3.␈α␈4␈α↓5␈↓ εX␈ε∧4␈α↓.␈α␈6␈α↓6␈↓ π=␈ε∧1␈α↓.␈α␈31␈↓ λ"␈ε∧1.35␈↓ 	␈ε∧2␈α↓6
␈β	␈↓ ↓H␈∧	↓H$α␈↓ ∧v␈∧	∧v$α␈↓ λp␈∧	λp$α
␈β⊂␈↓ ↓Y␈ε∧1␈α↓5.␈α␈2␈↓ α?␈ε∧9.9␈↓ β∃␈ε∧7␈α↓.␈α␈6␈↓ βl␈ε∧5.9␈↓ ∧C␈ε∧5.␈α␈1␈↓ ¬∂␈ε∧2.10␈↓ ¬t␈ε∧1.␈α␈6␈α↓6␈↓ εX␈ε∧3␈α↓.␈α␈1␈α↓4␈↓ π=␈ε∧1␈α↓.␈α␈69␈↓ λ"␈ε∧3.60␈↓ 	␈ε∧2␈α↓7
␈β-␈↓ ↓H␈∧-↓H$α␈↓ ∧v␈∧-∧v$α␈↓ λp␈∧-λp$α
␈β4␈↓ ↓Y␈ε∧1␈α↓6.␈α␈1␈↓ α0␈ε∧10.5␈↓ β∃␈ε∧7␈α↓.␈α␈7␈↓ βl␈ε∧6.1␈↓ ∧C␈ε∧4.␈α␈7␈↓ ¬∂␈ε∧3.41␈↓ ¬t␈ε∧2.␈α␈9␈α↓2␈↓ εX␈ε∧2␈α↓.␈α␈3␈α↓2␈↓ π=␈ε∧1␈α↓.␈α␈81␈↓ λ"␈ε∧0.35␈↓ 	␈ε∧2␈α↓8
␈βQ␈↓ ↓H␈∧Q↓H$α␈↓ ∧v␈∧Q∧v$α␈↓ λp␈∧Qλp$α
␈βX␈↓ ↓Y␈ε∧2␈α↓4.␈α␈1␈↓ α0␈ε∧16.0␈↓ βε␈ε∧12␈α↓.␈α␈0␈↓ βl␈ε∧9.1␈↓ ∧C␈ε∧7.␈α␈9␈↓ ¬∂␈ε∧3.60␈↓ ¬t␈ε∧3.␈α␈9␈α↓2␈↓ εX␈ε∧5␈α↓.␈α␈2␈α↓7␈↓ π=␈ε∧0␈α↓.␈α␈97␈↓ λ"␈ε∧3.82␈↓ 	␈ε∧2␈α↓9
␈βu␈↓ ↓H␈∧u↓Hλα␈↓ ∧v␈∧u∧vλα␈↓ λp␈∧uλpλα
␈β|␈↓ ↓H␈∧|↓Hαπ␈
␈β␈↓ α)␈ε∧uppe␈α␈r␈α
bo␈α↓unds␈α
from␈α
(40␈α↓):␈↓ ¬∂␈ε∧3.63␈↓ ¬t␈ε∧5.␈α␈9␈α↓2␈↓ εX␈ε∧9␈α↓.␈α␈8␈α↓7␈↓ π.␈ε∧1␈α↓4.␈α␈8␈α↓9␈↓ λ∪␈ε∧23␈α↓.␈α␈8␈α↓7
␈β∪(

␈β↓Y␈↓ ↓H␈εα296␈↓ α=␈ε∞A␈α␈RITH␈α␈METIC␈εα␈↓ 
b4.3.3
␈βα≥␈↓ ¬{␈ε≥Ta␈α␈b␈α↓le␈α
1
␈βα␈␈↓ β∩␈εβMUL␈α⎇TI␈α↓PLICA␈α⎇TI␈α↓O␈α␈N␈αI␈α↓N␈αA␈αLINEAR␈αITE␈α↓RA␈α⎇TIVE␈αARRA␈α}Y
␈ββ]␈↓ ↓H␈εβTime␈↓ αP␈εβI␈α↓n␈α␈pu␈α␈t␈↓ ∧&␈εβMo␈α␈du␈α␈l␈α↓e␈↓ ¬≥␈ε	M␈↓ εu␈εβM␈α␈odu␈α␈le␈↓ πk␈ε	M␈↓ 	D␈εβM␈α␈od␈α␈ule␈↓ 
:␈ε	M
␈ββh␈↓ ¬9␈εε1␈↓ λλ␈εε2␈↓ 
W␈εε3
␈β∧¬␈↓ ↓H␈∧∧¬↓Hα	e
␈β∧→␈↓ ¬V␈ε	z␈↓ λ%␈ε	z␈↓ 
t␈ε	z
␈β∧$␈↓ ¬a␈εε2␈↓ λ0␈εε2␈↓ 
␈␈εε2
␈β∧+␈↓ αN␈ε	u␈↓ ∧2␈ε	x␈↓ ∧h␈ε	x␈↓ ¬#␈ε	x␈↓ π↓␈ε	x␈↓ π7␈ε	x␈↓ πr␈ε	x␈↓ 	O␈ε	x␈↓ 
¬␈ε	x␈↓ 
A␈ε	x
␈β∧5␈↓ αa␈εj
␈β∧6␈↓ ∧A␈εε0␈↓ ∧w␈εε1␈↓ π⊂␈εε0␈↓ πF␈εε1␈↓ 	←␈εε0␈↓ 
∃␈εε1
␈β∧A␈↓ ¬V␈ε	z␈↓ λ%␈ε	z␈↓ 
t␈ε	z
␈β∧C␈↓ βπ␈ε	q␈↓ ∧β␈ε	c␈↓ εR␈ε	c␈↓ 	!␈ε	c
␈β∧K␈↓ ¬a␈εε1␈↓ λ0␈εε1␈↓ 
␈␈εε1
␈β∧N␈↓ β∪␈εj
␈β∧R␈↓ αP␈ε	v
␈β∧S␈↓ ∧2␈ε	y␈↓ ∧h␈ε	y␈↓ ¬#␈ε	y␈↓ π↓␈ε	y␈↓ π7␈ε	y␈↓ πq␈ε	y␈↓ 	O␈ε	y␈↓ 
¬␈ε	y␈↓ 
@␈ε	y
␈β∧]␈↓ α←␈εj
␈β∧↑␈↓ ∧B␈εε0␈↓ ∧x␈εε1␈↓ π⊂␈εε0␈↓ πF␈εε1␈↓ 	←␈εε0␈↓ 
∃␈εε1
␈β∧h␈↓ ¬V␈ε	z␈↓ λ%␈ε	z␈↓ 
t␈ε	z
␈β∧s␈↓ ¬a␈εε0␈↓ λ0␈εε0␈↓ 
␈␈εε0
␈β¬≡␈↓ ↓H␈∧¬≡↓Hα	e
␈β¬7␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β¬K␈↓ αU␈εβ1␈↓ ∧8␈εβ0␈↓ ∧n␈εβ0␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β¬\␈↓ ↓n␈εβ0␈↓ β␈εβ1␈↓ ∧α␈εβ0␈↓ εP␈εβ0␈↓ 	∨␈εβ0
␈β¬←␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β¬s␈↓ αU␈εβ1␈↓ ∧8␈εβ0␈↓ ∧n␈εβ0␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βεπ␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βε9␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βεM␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ0␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βε↑␈↓ ↓n␈εβ1␈↓ β␈εβ1␈↓ ∧α␈εβ1␈↓ εP␈εβ0␈↓ 	∨␈εβ0
␈βεa␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βεt␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ0␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βπλ␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βπ;␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βπN␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βπ←␈↓ ↓n␈εβ2␈↓ β␈εβ0␈↓ ∧α␈εβ2␈↓ εP␈εβ0␈↓ 	∨␈εβ0
␈βπb␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βπv␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βλ
␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βλ<␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βλP␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ1␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βλa␈↓ ↓n␈εβ3␈↓ β␈εβ1␈↓ ∧α␈εβ3␈↓ εP␈εβ0␈↓ 	∨␈εβ0
␈βλd␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βλx␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ1␈↓ πε␈εβ0␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β	␈↓ ¬Z␈εβ1␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β	>␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β	R␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β	b␈↓ ↓n␈εβ4␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ1␈↓ 	∨␈εβ0
␈β	e␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β	y␈↓ αU␈εβ1␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β

␈↓ ¬Z␈εβ1␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β
?␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β
S␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ1␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β
d␈↓ ↓n␈εβ5␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ2␈↓ 	∨␈εβ0
␈β
g␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β
{␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ1␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β∂␈↓ ¬Z␈εβ1␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈βA␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βU␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ1␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βf␈↓ ↓n␈εβ6␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ0
␈βi␈↓ ¬Z␈εβ0␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β|␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ1␈↓ 	U␈εβ0␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β⊂␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βC␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈βV␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈βg␈↓ ↓n␈εβ7␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ1
␈βj␈↓ ¬Z␈εβ0␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β}␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β
∩␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ1
␈β
D␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β
X␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β
i␈↓ ↓n␈εβ8␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ2
␈β
l␈↓ ¬Z␈εβ0␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β∞␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β∞∪␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β∞F␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β∞Z␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β∞j␈↓ ↓n␈εβ9␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ3
␈β∞m␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β∂↓␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β∂∃␈↓ ¬Z␈εβ0␈↓ λ(␈εβ1␈↓ 
w␈εβ0
␈β∂G␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β∂[␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β∂l␈↓ ↓]␈εβ10␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ3
␈β∂o␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β⊂β␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β⊂↔␈↓ ¬Z␈εβ1␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β⊂I␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β⊂]␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β⊂n␈↓ ↓]␈εβ11␈↓ β␈εβ0␈↓ ∧α␈εβ3␈↓ εP␈εβ3␈↓ 	∨␈εβ3
␈β⊂q␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β⊃∧␈↓ αU␈εβ0␈↓ ∧8␈εβ1␈↓ ∧n␈εβ1␈↓ ¬$␈εβ0␈↓ πε␈εβ1␈↓ π<␈εβ0␈↓ πr␈εβ0␈↓ 	U␈εβ1␈↓ 
␈εβ0␈↓ 
A␈εβ0
␈β⊃_␈↓ ¬Z␈εβ0␈↓ λ(␈εβ0␈↓ 
w␈εβ0
␈β∪(

␈β↓Y␈↓ ↓H␈εα380␈↓ α=␈ε∞A␈α␈RITH␈α␈METIC␈εα␈↓ 
b4.5.4
␈βα≥␈↓ ¬{␈ε≥Ta␈α␈b␈α↓le␈α
1
␈βαR␈↓ ∧b␈εβU␈α↓S␈α␈EFUL␈αPRIME␈αNUMBERS
␈βββ␈↓ ↓H␈∧ββ↓Hα	e
␈ββ⊗␈↓ ↓U␈ε	N␈↓ α\␈ε	a␈↓ βS␈ε	a␈↓ ∧I␈ε	a␈↓ ¬?␈ε	a␈↓ ε6␈ε	a␈↓ π7␈ε	a␈↓ λ-␈ε	a␈↓ 	$␈ε	a␈↓ 
~␈ε	a␈↓ ∧␈ε	a
␈ββ ␈↓ αl␈εε1␈↓ βb␈εε2␈↓ ∧Y␈εε3␈↓ ¬O␈εε4␈↓ εE␈εε5␈↓ πG␈εε6␈↓ λ=␈εε7␈↓ 	3␈εε8␈↓ 
*␈εε9␈↓ ∪␈εε10
␈ββB␈↓ ↓X␈εε15
␈ββF␈↓ ↓H␈εβ2␈↓ αW␈εβ19␈↓ βM␈εβ49␈↓ ∧D␈εβ5␈α␈1␈↓ ¬:␈εβ55␈↓ ε0␈εβ61␈↓ π2␈εβ75␈↓ λ(␈εβ81␈↓ 	∞␈εβ11␈α␈5␈↓ 
∧␈εβ12␈α␈1␈↓ 
z␈εβ135
␈ββg␈↓ ↓X␈εε16
␈ββk␈↓ ↓H␈εβ2␈↓ αW␈εβ15␈↓ βM␈εβ17␈↓ ∧D␈εβ3␈α␈9␈↓ ¬:␈εβ57␈↓ ε0␈εβ87␈↓ π2␈εβ89␈↓ λ(␈εβ99␈↓ 	∞␈εβ11␈α␈3␈↓ 
∧␈εβ11␈α␈7␈↓ 
z␈εβ123
␈β∧␈↓ ↓X␈εε17
␈β∧⊃␈↓ ↓H␈εβ2␈↓ αh␈εβ1␈↓ β↑␈εβ9␈↓ ∧D␈εβ1␈α␈3␈↓ ¬:␈εβ31␈↓ ε0␈εβ49␈↓ π2␈εβ61␈↓ λ(␈εβ63␈↓ 	∨␈εβ8␈α␈5␈↓ 
∃␈εβ9␈α␈1␈↓ ␈εβ99
␈β∧2␈↓ ↓X␈εε18
␈β∧6␈↓ ↓H␈εβ2␈↓ αh␈εβ5␈↓ βM␈εβ11␈↓ ∧D␈εβ1␈α␈7␈↓ ¬:␈εβ23␈↓ ε0␈εβ33␈↓ π2␈εβ35␈↓ λ(␈εβ41␈↓ 	∨␈εβ6␈α␈5␈↓ 
∃␈εβ7␈α␈5␈↓ ␈εβ93
␈β∧W␈↓ ↓X␈εε19
␈β∧[␈↓ ↓H␈εβ2␈↓ αh␈εβ1␈↓ βM␈εβ19␈↓ ∧D␈εβ2␈α␈7␈↓ ¬:␈εβ31␈↓ ε0␈εβ45␈↓ π2␈εβ57␈↓ λ(␈εβ67␈↓ 	∨␈εβ6␈α␈9␈↓ 
∃␈εβ8␈α␈5␈↓ ␈εβ87
␈β∧⎇␈↓ ↓X␈εε20
␈β¬↓␈↓ ↓H␈εβ2␈↓ αh␈εβ3␈↓ β↑␈εβ5␈↓ ∧D␈εβ1␈α␈7␈↓ ¬:␈εβ27␈↓ ε0␈εβ59␈↓ π2␈εβ69␈↓ λ_␈εβ1␈α␈29␈↓ 	∞␈εβ14␈α␈3␈↓ 
∧␈εβ15␈α␈3␈↓ 
z␈εβ185
␈β¬"␈↓ ↓X␈εε21
␈β¬&␈↓ ↓H␈εβ2␈↓ αh␈εβ9␈↓ βM␈εβ19␈↓ ∧D␈εβ2␈α␈1␈↓ ¬:␈εβ55␈↓ ε0␈εβ61␈↓ π2␈εβ69␈↓ λ_␈εβ1␈α␈05␈↓ 	∞␈εβ11␈α␈1␈↓ 
∧␈εβ12␈α␈1␈↓ 
z␈εβ129
␈β¬G␈↓ ↓X␈εε22
␈β¬K␈↓ ↓H␈εβ2␈↓ αh␈εβ3␈↓ βM␈εβ17␈↓ ∧D␈εβ2␈α␈7␈↓ ¬:␈εβ33␈↓ ε0␈εβ57␈↓ π2␈εβ87␈↓ λ_␈εβ1␈α␈05␈↓ 	∞␈εβ11␈α␈3␈↓ 
∧␈εβ11␈α␈7␈↓ 
z␈εβ123
␈β¬m␈↓ ↓X␈εε23
␈β¬q␈↓ ↓H␈εβ2␈↓ αW␈εβ15␈↓ βM␈εβ21␈↓ ∧D␈εβ2␈α␈7␈↓ ¬:␈εβ37␈↓ ε0␈εβ61␈↓ π2␈εβ69␈↓ λ_␈εβ1␈α␈35␈↓ 	∞␈εβ14␈α␈7␈↓ 
∧␈εβ15␈α␈7␈↓ 
z␈εβ159
␈βε∩␈↓ ↓X␈εε24
␈βε⊗␈↓ ↓H␈εβ2␈↓ αh␈εβ3␈↓ βM␈εβ17␈↓ ∧D␈εβ3␈α␈3␈↓ ¬:␈εβ63␈↓ ε0␈εβ75␈↓ π2␈εβ77␈↓ λ(␈εβ89␈↓ 	∨␈εβ9␈α␈5␈↓ 
∧␈εβ11␈α␈7␈↓ 
z␈εβ167
␈βε8␈↓ ↓X␈εε25
␈βε<␈↓ ↓H␈εβ2␈↓ αW␈εβ39␈↓ βM␈εβ49␈↓ ∧D␈εβ6␈α␈1␈↓ ¬:␈εβ85␈↓ ε0␈εβ91␈↓ π!␈εβ115␈↓ λ_␈εβ1␈α␈41␈↓ 	∞␈εβ15␈α␈9␈↓ 
∧␈εβ16␈α␈5␈↓ 
z␈εβ183
␈βε]␈↓ ↓X␈εε26
␈βεa␈↓ ↓H␈εβ2␈↓ αh␈εβ5␈↓ βM␈εβ27␈↓ ∧D␈εβ4␈α␈5␈↓ ¬:␈εβ87␈↓ ε ␈εβ1␈α␈01␈↓ π!␈εβ107␈↓ λ_␈εβ1␈α␈11␈↓ 	∞␈εβ11␈α␈7␈↓ 
∧␈εβ12␈α␈5␈↓ 
z␈εβ135
␈βπα␈↓ ↓X␈εε27
␈βπε␈↓ ↓H␈εβ2␈↓ αW␈εβ39␈↓ βM␈εβ79␈↓ ∧3␈εβ11␈α␈1␈↓ ¬)␈εβ115␈↓ ε ␈εβ1␈α␈35␈↓ π!␈εβ187␈↓ λ_␈εβ1␈α␈99␈↓ 	∞␈εβ21␈α␈9␈↓ 
∧␈εβ23␈α␈1␈↓ 
z␈εβ235
␈βπ(␈↓ ↓X␈εε28
␈βπ,␈↓ ↓H␈εβ2␈↓ αW␈εβ57␈↓ βM␈εβ89␈↓ ∧D␈εβ9␈α␈5␈↓ ¬)␈εβ119␈↓ ε ␈εβ1␈α␈25␈↓ π!␈εβ143␈↓ λ_␈εβ1␈α␈65␈↓ 	∞␈εβ18␈α␈3␈↓ 
∧␈εβ21␈α␈3␈↓ 
z␈εβ273
␈βπM␈↓ ↓X␈εε29
␈βπQ␈↓ ↓H␈εβ2␈↓ αh␈εβ3␈↓ βM␈εβ33␈↓ ∧D␈εβ4␈α␈3␈↓ ¬:␈εβ63␈↓ ε0␈εβ73␈↓ π2␈εβ75␈↓ λ(␈εβ93␈↓ 	∨␈εβ9␈α␈9␈↓ 
∧␈εβ12␈α␈1␈↓ 
z␈εβ133
␈βπs␈↓ ↓X␈εε30
␈βπw␈↓ ↓H␈εβ2␈↓ αW␈εβ35␈↓ βM␈εβ41␈↓ ∧D␈εβ8␈α␈3␈↓ ¬)␈εβ101␈↓ ε ␈εβ1␈α␈05␈↓ π!␈εβ107␈↓ λ_␈εβ1␈α␈35␈↓ 	∞␈εβ15␈α␈3␈↓ 
∧␈εβ16␈α␈1␈↓ 
z␈εβ173
␈βλ_␈↓ ↓X␈εε31
␈βλ≤␈↓ ↓H␈εβ2␈↓ αh␈εβ1␈↓ βM␈εβ19␈↓ ∧D␈εβ6␈α␈1␈↓ ¬:␈εβ69␈↓ ε0␈εβ85␈↓ π2␈εβ99␈↓ λ_␈εβ1␈α␈05␈↓ 	∞␈εβ15␈α␈1␈↓ 
∧␈εβ15␈α␈9␈↓ 
z␈εβ171
␈βλ=␈↓ ↓X␈εε32
␈βλA␈↓ ↓H␈εβ2␈↓ αh␈εβ5␈↓ βM␈εβ17␈↓ ∧D␈εβ6␈α␈5␈↓ ¬:␈εβ99␈↓ ε ␈εβ1␈α␈07␈↓ π!␈εβ135␈↓ λ_␈εβ1␈α␈53␈↓ 	∞␈εβ18␈α␈5␈↓ 
∧␈εβ20␈α␈9␈↓ 
z␈εβ267
␈βλc␈↓ ↓X␈εε33
␈βλg␈↓ ↓H␈εβ2␈↓ αh␈εβ9␈↓ βM␈εβ25␈↓ ∧D␈εβ4␈α␈9␈↓ ¬:␈εβ79␈↓ ε ␈εβ1␈α␈05␈↓ π!␈εβ285␈↓ λ_␈εβ3␈α␈01␈↓ 	∞␈εβ30␈α␈3␈↓ 
∧␈εβ32␈α␈1␈↓ 
z␈εβ355
␈β	λ␈↓ ↓X␈εε34
␈β	␈↓ ↓H␈εβ2␈↓ αW␈εβ41␈↓ βM␈εβ77␈↓ ∧3␈εβ11␈α␈3␈↓ ¬)␈εβ131␈↓ ε ␈εβ1␈α␈43␈↓ π!␈εβ165␈↓ λ_␈εβ1␈α␈85␈↓ 	∞␈εβ20␈α␈7␈↓ 
∧␈εβ22␈α␈7␈↓ 
z␈εβ281
␈β	-␈↓ ↓X␈εε35
␈β	2␈↓ ↓H␈εβ2␈↓ αW␈εβ31␈↓ βM␈εβ49␈↓ ∧D␈εβ6␈α␈1␈↓ ¬:␈εβ69␈↓ ε0␈εβ79␈↓ π!␈εβ121␈↓ λ_␈εβ1␈α␈41␈↓ 	∞␈εβ24␈α␈7␈↓ 
∧␈εβ30␈α␈9␈↓ 
z␈εβ325
␈β	S␈↓ ↓X␈εε36
␈β	W␈↓ ↓H␈εβ2␈↓ αh␈εβ5␈↓ βM␈εβ17␈↓ ∧D␈εβ2␈α␈3␈↓ ¬:␈εβ65␈↓ ε ␈εβ1␈α␈17␈↓ π!␈εβ137␈↓ λ_␈εβ1␈α␈59␈↓ 	∞␈εβ17␈α␈3␈↓ 
∧␈εβ18␈α␈9␈↓ 
z␈εβ233
␈β	x␈↓ ↓X␈εε37
␈β	|␈↓ ↓H␈εβ2␈↓ αW␈εβ25␈↓ βM␈εβ31␈↓ ∧D␈εβ4␈α␈5␈↓ ¬:␈εβ69␈↓ ε ␈εβ1␈α␈23␈↓ π!␈εβ141␈↓ λ_␈εβ1␈α␈99␈↓ 	∞␈εβ20␈α␈1␈↓ 
∧␈εβ35␈α␈1␈↓ 
z␈εβ375
␈β
≡␈↓ ↓X␈εε38
␈β
"␈↓ ↓H␈εβ2␈↓ αW␈εβ45␈↓ βM␈εβ87␈↓ ∧3␈εβ10␈α␈7␈↓ ¬)␈εβ131␈↓ ε ␈εβ1␈α␈53␈↓ π!␈εβ185␈↓ λ_␈εβ1␈α␈91␈↓ 	∞␈εβ22␈α␈7␈↓ 
∧␈εβ23␈α␈1␈↓ 
z␈εβ257
␈β
C␈↓ ↓X␈εε39
␈β
G␈↓ ↓H␈εβ2␈↓ αh␈εβ7␈↓ βM␈εβ19␈↓ ∧D␈εβ6␈α␈7␈↓ ¬:␈εβ91␈↓ ε ␈εβ1␈α␈35␈↓ π!␈εβ165␈↓ λ_␈εβ2␈α␈19␈↓ 	∞␈εβ23␈α␈1␈↓ 
∧␈εβ24␈α␈1␈↓ 
z␈εβ301
␈β
h␈↓ ↓X␈εε40
␈β
m␈↓ ↓H␈εβ2␈↓ αW␈εβ87␈↓ β=␈εβ1␈α␈67␈↓ ∧3␈εβ19␈α␈5␈↓ ¬)␈εβ203␈↓ ε ␈εβ2␈α␈13␈↓ π!␈εβ285␈↓ λ_␈εβ2␈α␈93␈↓ 	∞␈εβ29␈α␈9␈↓ 
∧␈εβ38␈α␈9␈↓ 
z␈εβ437
␈β∞␈↓ ↓X␈εε41
␈β∩␈↓ ↓H␈εβ2␈↓ αW␈εβ21␈↓ βM␈εβ31␈↓ ∧D␈εβ5␈α␈5␈↓ ¬:␈εβ63␈↓ ε0␈εβ73␈↓ π2␈εβ75␈↓ λ(␈εβ91␈↓ 	∞␈εβ11␈α␈1␈↓ 
∧␈εβ13␈α␈3␈↓ 
z␈εβ139
␈β3␈↓ ↓X␈εε42
␈β7␈↓ ↓H␈εβ2␈↓ αW␈εβ11␈↓ βM␈εβ17␈↓ ∧D␈εβ3␈α␈3␈↓ ¬:␈εβ53␈↓ ε0␈εβ65␈↓ π!␈εβ143␈↓ λ_␈εβ1␈α␈61␈↓ 	∞␈εβ16␈α␈5␈↓ 
∧␈εβ21␈α␈5␈↓ 
z␈εβ227
␈βY␈↓ ↓X␈εε43
␈β]␈↓ ↓H␈εβ2␈↓ αW␈εβ57␈↓ βM␈εβ67␈↓ ∧3␈εβ11␈α␈7␈↓ ¬)␈εβ175␈↓ ε ␈εβ2␈α␈55␈↓ π!␈εβ267␈↓ λ_␈εβ2␈α␈91␈↓ 	∞␈εβ30␈α␈9␈↓ 
∧␈εβ31␈α␈9␈↓ 
z␈εβ369
␈β}␈↓ ↓X␈εε44
␈βα␈↓ ↓H␈εβ2␈↓ αW␈εβ17␈↓ β=␈εβ1␈α␈17␈↓ ∧3␈εβ11␈α␈9␈↓ ¬)␈εβ129␈↓ ε ␈εβ1␈α␈43␈↓ π!␈εβ149␈↓ λ_␈εβ2␈α␈87␈↓ 	∞␈εβ32␈α␈7␈↓ 
∧␈εβ35␈α␈9␈↓ 
z␈εβ377
␈β#␈↓ ↓X␈εε45
␈β'␈↓ ↓H␈εβ2␈↓ αW␈εβ55␈↓ βM␈εβ69␈↓ ∧D␈εβ8␈α␈1␈↓ ¬:␈εβ93␈↓ ε ␈εβ1␈α␈21␈↓ π!␈εβ133␈↓ λ_␈εβ1␈α␈39␈↓ 	∞␈εβ15␈α␈9␈↓ 
∧␈εβ19␈α␈3␈↓ 
z␈εβ229
␈βI␈↓ ↓X␈εε46
␈βM␈↓ ↓H␈εβ2␈↓ αW␈εβ21␈↓ βM␈εβ57␈↓ ∧D␈εβ6␈α␈3␈↓ ¬:␈εβ77␈↓ ε ␈εβ1␈α␈67␈↓ π!␈εβ197␈↓ λ_␈εβ2␈α␈37␈↓ 	∞␈εβ28␈α␈7␈↓ 
∧␈εβ30␈α␈5␈↓ 
z␈εβ311
␈βn␈↓ ↓X␈εε47
␈βr␈↓ ↓H␈εβ2␈↓ αG␈εβ1␈α␈15␈↓ β=␈εβ1␈α␈27␈↓ ∧3␈εβ14␈α␈7␈↓ ¬)␈εβ279␈↓ ε ␈εβ2␈α␈97␈↓ π!␈εβ339␈↓ λ_␈εβ4␈α␈35␈↓ 	∞␈εβ54␈α␈1␈↓ 
∧␈εβ61␈α␈9␈↓ 
z␈εβ649
␈β
∀␈↓ ↓X␈εε48
␈β
_␈↓ ↓H␈εβ2␈↓ αW␈εβ59␈↓ βM␈εβ65␈↓ ∧D␈εβ8␈α␈9␈↓ ¬:␈εβ93␈↓ ε ␈εβ1␈α␈47␈↓ π!␈εβ165␈↓ λ_␈εβ1␈α␈89␈↓ 	∞␈εβ23␈α␈3␈↓ 
∧␈εβ24␈α␈3␈↓ 
z␈εβ257
␈β
9␈↓ ↓X␈εε59
␈β
=␈↓ ↓H␈εβ2␈↓ αW␈εβ55␈↓ βM␈εβ99␈↓ ∧3␈εβ22␈α␈5␈↓ ¬)␈εβ427␈↓ ε ␈εβ5␈α␈17␈↓ π!␈εβ607␈↓ λ_␈εβ6␈α␈49␈↓ 	∞␈εβ68␈α␈7␈↓ 
∧␈εβ86␈α␈1␈↓ 
z␈εβ871
␈β
↑␈↓ ↓X␈εε60
␈β
b␈↓ ↓H␈εβ2␈↓ αW␈εβ93␈↓ β=␈εβ1␈α␈07␈↓ ∧3␈εβ17␈α␈3␈↓ ¬)␈εβ179␈↓ ε ␈εβ2␈α␈57␈↓ π!␈εβ279␈↓ λ_␈εβ3␈α␈69␈↓ 	∞␈εβ39␈α␈5␈↓ 
∧␈εβ39␈α␈9␈↓ 
z␈εβ453
␈β∞∧␈↓ ↓X␈εε63
␈β∞λ␈↓ ↓H␈εβ2␈↓ αW␈εβ25␈↓ β=␈εβ1␈α␈65␈↓ ∧3␈εβ25␈α␈9␈↓ ¬)␈εβ301␈↓ ε ␈εβ3␈α␈75␈↓ π!␈εβ387␈↓ λ_␈εβ3␈α␈91␈↓ 	∞␈εβ40␈α␈9␈↓ 
∧␈εβ45␈α␈7␈↓ 
z␈εβ471
␈β∞)␈↓ ↓X␈εε64
␈β∞-␈↓ ↓H␈εβ2␈↓ αW␈εβ59␈↓ βM␈εβ83␈↓ ∧D␈εβ9␈α␈5␈↓ ¬)␈εβ179␈↓ ε ␈εβ1␈α␈89␈↓ π!␈εβ257␈↓ λ_␈εβ2␈α␈79␈↓ 	∞␈εβ32␈α␈3␈↓ 
∧␈εβ35␈α␈3␈↓ 
z␈εβ363
␈β∞Y␈↓ ↓i␈εε6
␈β∞]␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ17␈↓ βM␈εβ21␈↓ ∧D␈εβ3␈α␈9␈↓ ¬:␈εβ41␈↓ ε0␈εβ47␈↓ π2␈εβ69␈↓ λ(␈εβ83␈↓ 	∨␈εβ9␈α␈3␈↓ 
∧␈εβ11␈α␈7␈↓ 
z␈εβ137
␈β∞␈␈↓ ↓i␈εε7
␈β∂β␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αh␈εβ9␈↓ βM␈εβ27␈↓ ∧D␈εβ2␈α␈9␈↓ ¬:␈εβ57␈↓ ε0␈εβ63␈↓ π2␈εβ69␈↓ λ(␈εβ71␈↓ 	∨␈εβ9␈α␈3␈↓ 
∃␈εβ9␈α␈9␈↓ 
z␈εβ111
␈β∂$␈↓ ↓i␈εε8
␈β∂(␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ11␈↓ βM␈εβ29␈↓ ∧D␈εβ4␈α␈1␈↓ ¬:␈εβ59␈↓ ε0␈εβ69␈↓ π!␈εβ153␈↓ λ_␈εβ1␈α␈61␈↓ 	∞␈εβ17␈α␈3␈↓ 
∧␈εβ17␈α␈9␈↓ 
z␈εβ213
␈β∂I␈↓ ↓i␈εε9
␈β∂N␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ63␈↓ βM␈εβ71␈↓ ∧3␈εβ10␈α␈7␈↓ ¬)␈εβ117␈↓ ε ␈εβ2␈α␈03␈↓ π!␈εβ239␈↓ λ_␈εβ2␈α␈43␈↓ 	∞␈εβ24␈α␈9␈↓ 
∧␈εβ26␈α␈1␈↓ 
z␈εβ267
␈β∂o␈↓ ↓i␈εε10
␈β∂s␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ33␈↓ βM␈εβ57␈↓ ∧D␈εβ7␈α␈1␈↓ ¬)␈εβ119␈↓ ε ␈εβ1␈α␈49␈↓ π!␈εβ167␈↓ λ_␈εβ1␈α␈83␈↓ 	∞␈εβ21␈α␈3␈↓ 
∧␈εβ21␈α␈9␈↓ 
z␈εβ231
␈β⊂∀␈↓ ↓i␈εε11
␈β⊂_␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ23␈↓ βM␈εβ53␈↓ ∧D␈εβ5␈α␈7␈↓ ¬:␈εβ93␈↓ ε ␈εβ1␈α␈29␈↓ π!␈εβ149␈↓ λ_␈εβ1␈α␈67␈↓ 	∞␈εβ17␈α␈1␈↓ 
∧␈εβ17␈α␈9␈↓ 
z␈εβ231
␈β⊂:␈↓ ↓i␈εε12
␈β⊂>␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ11␈↓ βM␈εβ39␈↓ ∧D␈εβ4␈α␈1␈↓ ¬:␈εβ63␈↓ ε ␈εβ1␈α␈01␈↓ π!␈εβ123␈↓ λ_␈εβ1␈α␈37␈↓ 	∞␈εβ14␈α␈3␈↓ 
∧␈εβ15␈α␈3␈↓ 
z␈εβ233
␈β⊂←␈↓ ↓i␈εε16
␈β⊂c␈↓ ↓H␈εβ1␈↓ ↓X␈εβ0␈↓ αW␈εβ63␈↓ βM␈εβ83␈↓ ∧3␈εβ11␈α␈3␈↓ ¬)␈εβ149␈↓ ε ␈εβ1␈α␈83␈↓ π!␈εβ191␈↓ λ_␈εβ3␈α␈29␈↓ 	∞␈εβ35␈α␈7␈↓ 
∧␈εβ35␈α␈9␈↓ 
z␈εβ369
␈β⊃␈↓ ↓H␈∧⊃↓Hα	e
␈β⊃∨␈↓ αy␈εβThe␈αte␈α␈n␈αlarg␈α␈est␈αprime␈α␈s␈αless␈αth␈α␈an␈↓ εX␈ε	N␈↓ πα␈εβare␈↓ π:␈ε	N␈↓ π`␈ε↔␈␈↓ λ	␈ε	a␈↓ λ%␈εβ,␈↓ λ9␈εβ.␈αε.␈αε.␈↓ λf␈εβ,␈↓ λz␈ε	N␈↓ 	 ␈ε↔␈␈↓ 	I␈ε	a␈↓ 	r␈εβ.
␈β⊃*␈↓ λ_␈εε1␈↓ 	Y␈εε1␈α␈0
␈β∪(/FONT#2=cmr10[XGP,SYS]=,.0123456789ACEFGHIMNOPRTUVW↑←abcdefghilmnopqrstuyy/FONT#3=cmr9[XGP,SYS]=+,.0123456789ABCEFHILMNOPRSTUVYZadeghilmnoprstuu/FONT#4=cmr8[XGP,SYS]=()+.0123456789:=Lbdefgilmnoprsuu/FONT#6=cmr6[XGP,SYS]=01234567899/FONT#9=cmi9[XGP,SYS]=MNacequvwxyzz/FONT#10=cmi8[XGP,SYS]=∂⊗↔amm/FONT#12=cmi6[XGP,SYS]=ejj/FONT#14=cmsc10[XGP,SYS]=ABCDEFHILMNOPRSTUU/FONT#22=cmsy10[XGP,SYS]=⎇⎇/FONT#23=cmsy9[XGP,SYS]=εε/FONT#24=cmsy8[XGP,SYS]=↓αα/FONT#29=cmssb[XGP,SYS]=1Tabell